Skip to content

Actions: hyperpolymath/valence-shell

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
416 workflow runs
416 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
proofs(coq): close build-oracle cascade + re-enable verify-proofs (cl… CodeQL Security Analysis #241: Commit 18e3e3c pushed by hyperpolymath
58s main
main
58s
proofs(coq): close build-oracle cascade + re-enable verify-proofs (closes #49) CodeQL Security Analysis #240: Pull request #55 synchronize by hyperpolymath
37s proof/coq-build-oracle-closure
proof/coq-build-oracle-closure
37s
ci(governance): clear 6 main-branch reds (issue #46) (#54) CodeQL Security Analysis #239: Commit b36bcf0 pushed by hyperpolymath
1m 1s main
main
1m 1s
proofs(coq): close build-oracle cascade + re-enable verify-proofs (closes #49) CodeQL Security Analysis #238: Pull request #55 opened by hyperpolymath
45s proof/coq-build-oracle-closure
proof/coq-build-oracle-closure
45s
ci(governance): clear 6 main-branch reds (issue #46) CodeQL Security Analysis #237: Pull request #54 synchronize by hyperpolymath
40s ci/governance-reds-2026-06-01-issue-46
ci/governance-reds-2026-06-01-issue-46
40s
docs: max-out vs estate standards + fill INTENT.contractile + reconci… CodeQL Security Analysis #236: Commit f676ff8 pushed by hyperpolymath
1m 5s main
main
1m 5s
ci(governance): clear 6 main-branch reds (issue #46) CodeQL Security Analysis #235: Pull request #54 opened by hyperpolymath
46s ci/governance-reds-2026-06-01-issue-46
ci/governance-reds-2026-06-01-issue-46
46s
docs: max-out vs estate standards + fill INTENT.contractile + reconcile drift counts (closes #44) CodeQL Security Analysis #234: Pull request #53 opened by hyperpolymath
38s docs/maxout-2026-06-01-issue-44
docs/maxout-2026-06-01-issue-44
38s
audit: classify Track C residuals + pin flake (closes #33) (#52) CodeQL Security Analysis #233: Commit 9c81564 pushed by hyperpolymath
1m 5s main
main
1m 5s
audit: classify Track C panic-attack residuals + pin flake (closes #33) CodeQL Security Analysis #232: Pull request #52 opened by hyperpolymath
44s security/panic-attack-triage-2026-06-01
security/panic-attack-triage-2026-06-01
44s
proofs(coq): partial closure of build-oracle cascade (refs #49) CodeQL Security Analysis #231: Pull request #50 opened by hyperpolymath
33s proof/coq-build-oracle-partial
proof/coq-build-oracle-partial
33s
docs(proof): proof narrative + open frontier + reconciled PROOF-NEEDS… CodeQL Security Analysis #230: Commit 18dd4e1 pushed by hyperpolymath
1m 28s main
main
1m 28s
docs(proof): proof narrative + open frontier + reconciled PROOF-NEEDS CodeQL Security Analysis #229: Pull request #47 synchronize by hyperpolymath
57s proof/valence-work
proof/valence-work
57s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) (… CodeQL Security Analysis #228: Commit af3f4b8 pushed by hyperpolymath
50s main
main
50s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) CodeQL Security Analysis #227: Pull request #48 synchronize by hyperpolymath
1m 9s proof/admit-becomes-admitted
proof/admit-becomes-admitted
1m 9s
fix(ci): make set-e safe counter increments + correct lean4→lean prov… CodeQL Security Analysis #226: Commit 6963886 pushed by hyperpolymath
39s main
main
39s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) CodeQL Security Analysis #225: Pull request #48 opened by hyperpolymath
38s proof/admit-becomes-admitted
proof/admit-becomes-admitted
38s
docs(proof): proof narrative + open frontier + reconciled PROOF-NEEDS CodeQL Security Analysis #224: Pull request #47 opened by hyperpolymath
43s proof/valence-work
proof/valence-work
43s
fix(ci): set-e safe counter increments + lean4→lean prover name CodeQL Security Analysis #223: Pull request #40 opened by hyperpolymath
40s claude/cicd-audit-2026-06-01
claude/cicd-audit-2026-06-01
40s
CodeQL Security Analysis CodeQL Security Analysis #222: Scheduled
55s main
main
55s
fix(ci): replace fake action SHA pins with version-faithful real SHAs… CodeQL Security Analysis #221: Commit 56827ab pushed by hyperpolymath
12h 57m 30s main
main
12h 57m 30s
fix(ci): version-faithful replacement of fake action SHA pins CodeQL Security Analysis #220: Pull request #39 opened by hyperpolymath
12h 56m 3s claude/fix-fake-action-shas-round2
claude/fix-fake-action-shas-round2
12h 56m 3s
chore(ci): replace secret-scanner.yml with reusable wrapper (#37) CodeQL Security Analysis #219: Commit e4c3c44 pushed by hyperpolymath
7h 59m 21s main
main
7h 59m 21s
docs: record tech-debt audit findings (2026-05-26) (#35) CodeQL Security Analysis #218: Commit ff6e66f pushed by hyperpolymath
7s main
main
7s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… CodeQL Security Analysis #217: Commit 7b0367d pushed by hyperpolymath
7s main
main
7s