Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
275 workflow runs
275 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
docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*… CodeQL Security Analysis #225: Commit 6b2b730 pushed by hyperpolymath
3m 39s main
main
3m 39s
docs(config): fix stale .scm references in CLAUDE.md → descriptiles/*.a2ml CodeQL Security Analysis #224: Pull request #111 opened by hyperpolymath
54s claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
54s
feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-… CodeQL Security Analysis #223: Commit 1e5c615 pushed by hyperpolymath
1m 16s main
main
1m 16s
feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked) CodeQL Security Analysis #222: Pull request #110 opened by hyperpolymath
53s claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
53s
feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axi… CodeQL Security Analysis #221: Commit c233752 pushed by hyperpolymath
1m 14s main
main
1m 14s
feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axioms) CodeQL Security Analysis #220: Pull request #109 opened by hyperpolymath
1m 1s claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
1m 1s
chore(deps): bump the actions group with 2 updates (#108) CodeQL Security Analysis #219: Commit 3b592a5 pushed by hyperpolymath
1m 32s main
main
1m 32s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #218: Pull request #108 opened by dependabot Bot
56s dependabot/github_actions/actions-6872eef3cb
dependabot/github_actions/actions-6872eef3cb
56s
ci: Secret Scanner caller must grant the reusable's job permissions (… CodeQL Security Analysis #217: Commit be5a86f pushed by hyperpolymath
33m 44s main
main
33m 44s
ci: Secret Scanner caller must grant the reusable's job permissions CodeQL Security Analysis #216: Pull request #107 opened by hyperpolymath
58s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
58s
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) CodeQL Security Analysis #215: Commit 2acfc89 pushed by hyperpolymath
1m 11s main
main
1m 11s
ci: add reliable Agda job (version-matched agda-stdlib via git) CodeQL Security Analysis #214: Pull request #106 opened by hyperpolymath
2m 46s ci-agda-stdlib
ci-agda-stdlib
2m 46s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105) CodeQL Security Analysis #213: Commit bf6f1e0 pushed by hyperpolymath
1m 15s main
main
1m 15s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 CodeQL Security Analysis #212: Pull request #105 synchronize by hyperpolymath
49s ci-drop-agda
ci-drop-agda
49s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 CodeQL Security Analysis #211: Pull request #105 opened by hyperpolymath
59s ci-drop-agda
ci-drop-agda
59s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… CodeQL Security Analysis #210: Commit 720e410 pushed by hyperpolymath
1m 15s main
main
1m 15s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib) CodeQL Security Analysis #209: Pull request #104 opened by hyperpolymath
1m 12s ci-agda-fix2
ci-agda-fix2
1m 12s
fix(ci): robust agda-stdlib registration (green the proofs workflow) … CodeQL Security Analysis #208: Commit 137aaf9 pushed by hyperpolymath
1m 27s main
main
1m 27s
fix(ci): robust agda-stdlib registration (green the proofs workflow) CodeQL Security Analysis #207: Pull request #103 opened by hyperpolymath
2m 11s ci-agda-fix
ci-agda-fix
2m 11s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) CodeQL Security Analysis #206: Commit 42b2001 pushed by hyperpolymath
2m 12s main
main
2m 12s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI CodeQL Security Analysis #205: Pull request #102 opened by hyperpolymath
48s descriptiles-ci
descriptiles-ci
48s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… CodeQL Security Analysis #204: Commit 25d0d3d pushed by hyperpolymath
1m 23s main
main
1m 23s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable) CodeQL Security Analysis #203: Pull request #101 opened by hyperpolymath
1m 2s worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
1m 2s
feat(proofs): complete CNO + OND pillars, verified across six provers… CodeQL Security Analysis #202: Commit 6b591f1 pushed by hyperpolymath
36m 34s main
main
36m 34s
feat(proofs): complete CNO + OND pillars, verified across six provers CodeQL Security Analysis #201: Pull request #100 synchronize by hyperpolymath
34m 55s worktree-cno-ond-completion
worktree-cno-ond-completion
34m 55s