CodeQL Security Analysis

codeql.yml

391 workflow runs

ci(rust): convert rust-ci.yml to thin wrapper (standards#174 refile) …
cancelled:
CodeQL Security Analysis#116:Commit7f0b56cpushedbyhyperpolymath
main
May 26, 202618m 3s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174 refile)
completed successfully:
CodeQL Security Analysis#115:Pull request#53openedbyhyperpolymath
chore/rust-ci-reusable-wrapper
May 26, 20268h 28m 32s
docs: seed docs/proof-debt.md per trusted-base policy (#52)
cancelled:
CodeQL Security Analysis#114:Commit616fdcbpushedbyhyperpolymath
main
May 26, 20264m 33s
docs: seed docs/proof-debt.md per trusted-base policy
completed successfully:
CodeQL Security Analysis#113:Pull request#52openedbyhyperpolymath
claude/seed-proof-debt-2026-05-26
May 26, 20268h 9m 38s
Claude/upbeat mendel l bo9 g (#41)
cancelled:
CodeQL Security Analysis#112:Commitd5ab8a8pushedbyhyperpolymath
main
May 26, 20262m 47s
Claude/upbeat mendel l bo9 g
completed successfully:
CodeQL Security Analysis#111:Pull request#41synchronizebyhyperpolymath
claude/upbeat-mendel-lBO9G
May 26, 20268h 10m 36s
chore(ci): replace secret-scanner.yml with reusable wrapper
cancelled:
CodeQL Security Analysis#110:Pull request#51openedbyhyperpolymath
chore/secret-scanner-reusable-wrapper
May 26, 202652m 1s
chore(ci): replace secret-scanner.yml with reusable wrapper (#51)
cancelled:
CodeQL Security Analysis#109:Commit3819a1bpushedbyhyperpolymath
main
May 26, 20265s
chore(ci): replace mirror.yml with reusable wrapper (#50)
cancelled:
CodeQL Security Analysis#108:Commitf299725pushedbyhyperpolymath
main
May 26, 20263m 13s
chore(ci): replace mirror.yml with reusable wrapper
completed successfully:
CodeQL Security Analysis#107:Pull request#50openedbyhyperpolymath
chore/mirror-reusable-wrapper
May 26, 20265h 43m 39s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174)
completed successfully:
CodeQL Security Analysis#106:Pull request#45synchronizebyhyperpolymath
chore/rust-ci-reusable-wrapper
May 26, 20264h 3m 9s
chore(license): migrate to MPL-2.0 (#49)
cancelled:
CodeQL Security Analysis#105:Commit2a34859pushedbyhyperpolymath
main
May 26, 20262h 31m 21s
chore(license): migrate to MPL-2.0
completed successfully:
CodeQL Security Analysis#104:Pull request#49openedbyhyperpolymath
license/migrate-to-mpl-2.0
May 26, 20264h 21m 21s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174)
completed successfully:
CodeQL Security Analysis#103:Pull request#45synchronizebyhyperpolymath
chore/rust-ci-reusable-wrapper
May 26, 20262h 51m 48s
chore(ci): retarget hypatia-scan wrapper to standards#193 HEAD (#48)
cancelled:
CodeQL Security Analysis#102:Commit76a3e11pushedbyhyperpolymath
main
May 26, 202643m 49s
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

Navigation Menu

CodeQL Security Analysis

391 workflow runs

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

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

docs: seed docs/proof-debt.md per trusted-base policy (#52)

docs: seed docs/proof-debt.md per trusted-base policy

Claude/upbeat mendel l bo9 g (#41)

Claude/upbeat mendel l bo9 g

chore(ci): replace secret-scanner.yml with reusable wrapper

chore(ci): replace secret-scanner.yml with reusable wrapper (#51)

chore(ci): replace mirror.yml with reusable wrapper (#50)

chore(ci): replace mirror.yml with reusable wrapper

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

chore(license): migrate to MPL-2.0 (#49)

chore(license): migrate to MPL-2.0

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

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

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)

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

391 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.