CodeQL Security Analysis

codeql.yml

797 workflow runs

chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)
completed successfully:
CodeQL Security Analysis#448:Pull request#139openedbyhyperpolymath
chore/spdx-owner-headers
Jun 24, 202659s
test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#…
completed successfully:
CodeQL Security Analysis#447:Commit826d541pushedbyhyperpolymath
main
Jun 24, 20261m 48s
test(aggregate): ideal Idris2 proof fixture + end-to-end fold test
completed successfully:
CodeQL Security Analysis#446:Pull request#138synchronizebyhyperpolymath
feat/aggregate-idris2-fixture
Jun 24, 20261m 24s
docs: complete audience→axial rename drift in man page + docs (#137)
completed successfully:
CodeQL Security Analysis#445:Commit0d89586pushedbyhyperpolymath
main
Jun 24, 20261m 25s
test(aggregate): ideal Idris2 proof fixture + end-to-end fold test
completed successfully:
CodeQL Security Analysis#444:Pull request#138openedbyhyperpolymath
feat/aggregate-idris2-fixture
Jun 24, 202647s
docs: complete audience→axial rename drift in man page + docs
completed successfully:
CodeQL Security Analysis#443:Pull request#137openedbyhyperpolymath
chore/audience-axial-doc-drift
Jun 24, 202646s
Claude/unbounded severity v2 (#135)
completed successfully:
CodeQL Security Analysis#442:Commitb26acb0pushedbyhyperpolymath
main
Jun 24, 202644s
Claude/unbounded severity v2
completed successfully:
CodeQL Security Analysis#441:Pull request#135openedbyhyperpolymath
claude/unbounded-severity-v2
Jun 24, 20261m 4s
chore(deps): bump the rust-minor group across 1 directory with 2 upda…
completed successfully:
CodeQL Security Analysis#440:Commit3155768pushedbyhyperpolymath
main
Jun 24, 20262m 7s
fix(assail): null-check-aware UncheckedAllocation + precise eval dete…
completed successfully:
CodeQL Security Analysis#439:Commit60d9219pushedbyhyperpolymath
main
Jun 24, 202649s
fix(assail): null-check-aware UncheckedAllocation + precise eval detectors
completed successfully:
CodeQL Security Analysis#438:Pull request#134openedbyhyperpolymath
fix/assail-precision-null-check-eval
Jun 24, 202648s
chore: retire local issue/discussion templates -> inherit org .github…
completed successfully:
CodeQL Security Analysis#437:Commit926c507pushedbyhyperpolymath
main
Jun 22, 202620m 25s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) …
completed successfully:
CodeQL Security Analysis#436:Commit549234dpushedbyhyperpolymath
main
Jun 21, 202636s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml)
completed successfully:
CodeQL Security Analysis#435:Pull request#133openedbyhyperpolymath
claude/awesome-edison-3711ps
Jun 21, 202646s
Fix broken bench: add missing test_context field to WeakPoint literal…
completed successfully:
CodeQL Security Analysis#434:Commit36db570pushedbyhyperpolymath
main
Jun 21, 202646s
Fix broken bench: add missing test_context field to WeakPoint literal
completed successfully:
CodeQL Security Analysis#433:Pull request#132openedbyhyperpolymath
claude/awesome-edison-3711ps
Jun 21, 202650s
chore(deps): bump the rust-minor group across 1 directory with 2 updates
completed successfully:
CodeQL Security Analysis#432:Pull request#131openedbydependabot[bot]Bot
dependabot/cargo/rust-minor-e520414b43
Jun 20, 202642s
fix(assail): UnboundedAllocation is Medium, not Critical
completed successfully:
CodeQL Security Analysis#431:Commit3f7d0bbpushedbyhyperpolymath
main
Jun 13, 202644s
fix(assail): UnboundedAllocation is Medium, not Critical
completed successfully:
CodeQL Security Analysis#430:Pull request#130openedbyhyperpolymath
claude/unbounded-severity-v2
Jun 13, 202645s
chore(deps): bump regex from 1.12.3 to 1.12.4 in the rust-minor group
completed successfully:
CodeQL Security Analysis#429:Pull request#129openedbydependabot[bot]Bot
dependabot/cargo/rust-minor-acc80fea4c
Jun 13, 202649s
chore(deps): bump the rust-minor group with 2 updates (#126)
completed successfully:
CodeQL Security Analysis#428:Commit6a814fapushedbyhyperpolymath
main
Jun 13, 202647s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127)
completed successfully:
CodeQL Security Analysis#427:Commit2576c19pushedbyhyperpolymath
main
Jun 13, 202641s
ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml)
completed successfully:
CodeQL Security Analysis#426:Pull request#127openedbyhyperpolymath
claude/peaceful-pascal-IRlgq
Jun 13, 202654s
chore(deps): bump the rust-minor group with 2 updates
completed successfully:
CodeQL Security Analysis#425:Pull request#126openedbydependabot[bot]Bot
dependabot/cargo/rust-minor-8b557c6638
Jun 6, 202652s
proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX…
completed successfully:
CodeQL Security Analysis#424:Commitd215986pushedbyhyperpolymath
main
Jun 4, 202645s

Navigation Menu

CodeQL Security Analysis

797 workflow runs

chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#…

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test

docs: complete audience→axial rename drift in man page + docs (#137)

test(aggregate): ideal Idris2 proof fixture + end-to-end fold test

docs: complete audience→axial rename drift in man page + docs

Claude/unbounded severity v2 (#135)

Claude/unbounded severity v2

chore(deps): bump the rust-minor group across 1 directory with 2 upda…

fix(assail): null-check-aware UncheckedAllocation + precise eval dete…

fix(assail): null-check-aware UncheckedAllocation + precise eval detectors

chore: retire local issue/discussion templates -> inherit org .github…

Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) …

Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml)

Fix broken bench: add missing test_context field to WeakPoint literal…

Fix broken bench: add missing test_context field to WeakPoint literal

chore(deps): bump the rust-minor group across 1 directory with 2 updates

fix(assail): UnboundedAllocation is Medium, not Critical

fix(assail): UnboundedAllocation is Medium, not Critical

chore(deps): bump regex from 1.12.3 to 1.12.4 in the rust-minor group

chore(deps): bump the rust-minor group with 2 updates (#126)

ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127)

ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml)

chore(deps): bump the rust-minor group with 2 updates

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX…

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

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