Skip to content

ci: wire the formal/ Coq proof gate into CI (Refs #513) - #709

Merged
hyperpolymath merged 2 commits into
mainfrom
ci/coq-proof-gate
Jul 28, 2026
Merged

ci: wire the formal/ Coq proof gate into CI (Refs #513)#709
hyperpolymath merged 2 commits into
mainfrom
ci/coq-proof-gate

Merge branch 'main' into ci/coq-proof-gate

8bea4c7
Select commit
Loading
Failed to load commit list.
SonarQubeCloud / SonarCloud Code Analysis failed Jul 28, 2026 in 15s

Quality Gate failed

Failed conditions
C Security Rating on New Code (required ≥ A)

See analysis details on SonarQube Cloud

Catch issues before they fail your Quality Gate with our IDE extension SonarQube for IDE

Annotations

Check warning on line 23 in .github/workflows/coq-proof-gate.yml

See this annotation in the file changed.

@sonarqubecloud sonarqubecloud / SonarCloud Code Analysis

Replace "read-all" with specific permissions (e.g., "contents: read"). 

See more on https://sonarcloud.io/project/issues?id=hyperpolymath_affinescript&issues=AZ-p-GuWrexzo6E2PPf2&open=AZ-p-GuWrexzo6E2PPf2&pullRequest=709
View more details on SonarQubeCloud