CodeQL Security Analysis

codeql.yml

405 workflow runs

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

Navigation Menu

CodeQL Security Analysis

405 workflow runs

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)

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)

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

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