Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
285 workflow runs
285 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
Sync local commits to main CodeQL Security Analysis #235: Pull request #116 opened by hyperpolymath
18m 30s sync-local-updates-1784830481
sync-local-updates-1784830481
18m 30s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… CodeQL Security Analysis #234: Commit caf8c1d pushed by hyperpolymath
3h 24m 3s main
main
3h 24m 3s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump CodeQL Security Analysis #233: Pull request #115 opened by hyperpolymath
56s fix/governance-gate-sweep
fix/governance-gate-sweep
56s
ci: deploy docs via Ddraig SSG (#114) CodeQL Security Analysis #232: Commit 87902bb pushed by hyperpolymath
1h 10m 34s main
main
1h 10m 34s
ci: deploy docs via Ddraig SSG CodeQL Security Analysis #231: Pull request #114 opened by hyperpolymath
1h 9m 26s feat/ddraig-pages-mass
feat/ddraig-pages-mass
1h 9m 26s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… CodeQL Security Analysis #230: Commit dbcf9aa pushed by hyperpolymath
1m 7s main
main
1m 7s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) CodeQL Security Analysis #229: Pull request #112 synchronize by hyperpolymath
56s fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
56s
chore(deps): bump the actions group with 2 updates (#113) CodeQL Security Analysis #228: Commit 679b569 pushed by hyperpolymath
1m 10s main
main
1m 10s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #227: Pull request #113 opened by dependabot Bot
1m 13s dependabot/github_actions/actions-bee62e05c9
dependabot/github_actions/actions-bee62e05c9
1m 13s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) CodeQL Security Analysis #226: Pull request #112 opened by hyperpolymath
1m 0s fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
1m 0s
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