CodeQL Security Analysis

codeql.yml

401 workflow runs

chore(ci): retarget hypatia-scan wrapper to standards#193 HEAD
completed successfully:
CodeQL Security Analysis#101:Pull request#48openedbyhyperpolymath
chore/hypatia-scan-retarget-193
May 26, 20261h 16m 53s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174)
completed successfully:
CodeQL Security Analysis#100:Pull request#45openedbyhyperpolymath
chore/rust-ci-reusable-wrapper
May 26, 20268m 17s
fix(governance): enumerate banned-language demos in .hypatia-ignore
completed successfully:
CodeQL Security Analysis#99:Pull request#44openedbyhyperpolymath
fix/governance-language-demo-exemptions
May 26, 20261m 0s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#98:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 26, 20261m 6s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#97:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 26, 20261m 9s
Claude/upbeat mendel l bo9 g
cancelled:
CodeQL Security Analysis#96:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 26, 20261m 4s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#95:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 26, 202658s
fix(baseline): repair main + estate-policy sweep (unblocks #41)
completed successfully:
CodeQL Security Analysis#94:Pull request#42synchronizebyhyperpolymath
fix/absolute-zero-baseline-rot
May 26, 202659s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#93:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 26, 20261m 35s
fix(baseline): repair main + estate-policy sweep (unblocks #41)
completed successfully:
CodeQL Security Analysis#92:Pull request#42synchronizebyhyperpolymath
fix/absolute-zero-baseline-rot
May 25, 20261m 4s
fix(baseline): repair main + estate-policy sweep (unblocks #41)
completed successfully:
CodeQL Security Analysis#91:Pull request#42openedbyhyperpolymath
fix/absolute-zero-baseline-rot
May 25, 202658s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#90:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 25, 202657s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#89:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 25, 20261m 3s
Update Deno lint command to use custom config
completed successfully:
CodeQL Security Analysis#88:Commitef523e0pushedbyhyperpolymath
main
May 25, 20261m 9s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#87:Scheduled
main
May 25, 20261m 15s
proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…
completed successfully:
CodeQL Security Analysis#86:Commit4ff2e72pushedbyhyperpolymath
main
May 24, 20261m 12s
proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…
completed successfully:
CodeQL Security Analysis#85:Pull request#40openedbyhyperpolymath
claude/upbeat-mendel-lBO9G
May 24, 20261m 18s
chore(deps): bump the actions group with 6 updates (#38)
completed successfully:
CodeQL Security Analysis#84:Commit4c171c8pushedbyhyperpolymath
main
May 23, 20261m 8s
chore(deps): bump the actions group with 6 updates
completed successfully:
CodeQL Security Analysis#83:Pull request#38openedbydependabot[bot]Bot
dependabot/github_actions/actions-2f321cf3f9
May 23, 20261h 21m 39s
fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) (#36)
completed successfully:
CodeQL Security Analysis#82:Commitd9d38a3pushedbyhyperpolymath
main
May 20, 202623h 24m 13s
fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory)
completed successfully:
CodeQL Security Analysis#81:Pull request#36openedbyhyperpolymath
proof/drop-cno-decidable-axiom
May 20, 202623h 45m 22s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check …
cancelled:
CodeQL Security Analysis#80:Commit8134cefpushedbyhyperpolymath
main
May 20, 20261h 5m 16s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check …
completed successfully:
CodeQL Security Analysis#79:Pull request#34openedbyhyperpolymath
proof-debt/standards-133-licence-canon
May 20, 20261d 0h 0m 16s
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio…
cancelled:
CodeQL Security Analysis#78:Commit052be22pushedbyhyperpolymath
main
May 20, 202639s
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio…
completed successfully:
CodeQL Security Analysis#77:Pull request#32openedbyhyperpolymath
proof-debt/abszero-tier-a-axiom-discharge
May 20, 202623h 59m 16s

Navigation Menu

CodeQL Security Analysis

401 workflow runs

chore(ci): retarget hypatia-scan wrapper to standards#193 HEAD

ci(rust): convert rust-ci.yml to thin wrapper (standards#174)

fix(governance): enumerate banned-language demos in .hypatia-ignore

Claude/upbeat mendel l bo9 g

Claude/upbeat mendel l bo9 g

Claude/upbeat mendel l bo9 g

Claude/upbeat mendel l bo9 g

fix(baseline): repair main + estate-policy sweep (unblocks #41)

Claude/upbeat mendel l bo9 g

fix(baseline): repair main + estate-policy sweep (unblocks #41)

fix(baseline): repair main + estate-policy sweep (unblocks #41)

Claude/upbeat mendel l bo9 g

Claude/upbeat mendel l bo9 g

Update Deno lint command to use custom config

CodeQL Security Analysis

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…

proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola…

chore(deps): bump the actions group with 6 updates (#38)

chore(deps): bump the actions group with 6 updates

fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) (#36)

fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory)

fix(licence): canonicalise to PMPL-1.0-or-later per authorship check …

fix(licence): canonicalise to PMPL-1.0-or-later per authorship check …

proof(coq): discharge eval_respects_state_eq_{left,right} via deletio…

proof(coq): discharge eval_respects_state_eq_{left,right} via deletio…

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

401 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.