CodeQL Security Analysis

codeql.yml

1571 workflow runs

fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support
completed successfully:
CodeQL Security Analysis#596:Pull request#60openedbyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 202645m 53s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237
completed successfully:
CodeQL Security Analysis#595:Pull request#59synchronizebyhyperpolymath
ci/adopt-hardened-hypatia-scan-workflow
May 14, 202630m 11s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237
completed successfully:
CodeQL Security Analysis#594:Pull request#59synchronizebyhyperpolymath
ci/adopt-hardened-hypatia-scan-workflow
May 14, 202611m 30s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237
completed successfully:
CodeQL Security Analysis#593:Pull request#59openedbyhyperpolymath
ci/adopt-hardened-hypatia-scan-workflow
May 14, 202610m 57s
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pings
completed successfully:
CodeQL Security Analysis#592:Pull request#58reopenedbyhyperpolymath
chore/codeowners-drop-wildcard
May 14, 20264m 10s
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pings
completed successfully:
CodeQL Security Analysis#591:Pull request#58openedbyhyperpolymath
chore/codeowners-drop-wildcard
May 14, 20266m 17s
fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213)
completed successfully:
CodeQL Security Analysis#590:Pull request#57openedbyhyperpolymath
fix/hypatia-213-scanner-flag
May 13, 202612h 42m 20s
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate
completed successfully:
CodeQL Security Analysis#589:Commit05a0ff3pushedbyhyperpolymath
main
May 12, 20262h 11m 20s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#588:Scheduled
main
May 11, 20268m 55s
chore(clippy): finish --all-features gap (resolves PR #54 stack) (#56)
completed successfully:
CodeQL Security Analysis#587:Commit4d568d7pushedbyhyperpolymath
main
May 11, 202614m 0s
chore(clippy): finish --all-features gap (resolves PR #54 stack)
completed successfully:
CodeQL Security Analysis#586:Pull request#56openedbyhyperpolymath
claude/resolve-pr-54-kqPRZ
May 11, 20268m 21s
ci: infra cleanup (MSRV + julia-cache + rustdoc + fmt) (#48)
completed successfully:
CodeQL Security Analysis#585:Commit225e274pushedbyhyperpolymath
main
May 11, 20269m 1s
feat(lean4): scaffold EchidnaTrustProofs lakefile + apply mechanical …
completed successfully:
CodeQL Security Analysis#584:Commitd9b145dpushedbyhyperpolymath
main
May 11, 20268m 37s
chore(state): refresh rust-to-rust-spark roadmap (initial slate done;…
completed successfully:
CodeQL Security Analysis#583:Commitc35b826pushedbyhyperpolymath
main
May 11, 202610m 57s
chore(state): refresh rust-to-rust-spark roadmap (initial slate done; 3 new candidates)
completed successfully:
CodeQL Security Analysis#582:Pull request#52openedbyhyperpolymath
chore/refresh-spark-roadmap
May 11, 202610m 38s
feat(spark): certificates SPARK companion — run #3 (completes initial…
completed successfully:
CodeQL Security Analysis#581:Commit54c03aapushedbyhyperpolymath
main
May 11, 20269m 6s
feat(spark): certificates SPARK companion — run #3 (completes initial roadmap)
completed successfully:
CodeQL Security Analysis#580:Pull request#50openedbyhyperpolymath
spark/certificates-run-3
May 11, 20268m 48s
feat(spark): solver_integrity SPARK companion — run #2 (#49)
completed successfully:
CodeQL Security Analysis#579:Commit1f92de7pushedbyhyperpolymath
main
May 11, 202610m 30s
feat(spark): solver_integrity SPARK companion — run #2
completed successfully:
CodeQL Security Analysis#578:Pull request#49openedbyhyperpolymath
spark/solver-integrity-run-2
May 11, 20268m 37s
ci: infra cleanup (MSRV + julia-cache + rustdoc + fmt)
completed successfully:
CodeQL Security Analysis#577:Pull request#48openedbyhyperpolymath
ci/infra-cleanup-2026-05-11
May 11, 202610m 30s
feat(spark): axiom_tracker SPARK companion — run #1 (closes #40) (#47)
completed successfully:
CodeQL Security Analysis#576:Commitf18cd5cpushedbyhyperpolymath
main
May 11, 20269m 18s
feat(spark): axiom_tracker SPARK companion — run #1 (closes #40)
completed successfully:
CodeQL Security Analysis#575:Pull request#47synchronizebyhyperpolymath
spark/axiom-tracker-run-1
May 11, 20268m 18s
feat(spark): axiom_tracker SPARK companion — run #1 (closes #40)
completed successfully:
CodeQL Security Analysis#574:Pull request#47openedbyhyperpolymath
spark/axiom-tracker-run-1
May 11, 20268m 11s
chore(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group …
completed successfully:
CodeQL Security Analysis#573:Commit77a43ccpushedbyhyperpolymath
main
May 7, 202610m 0s
chore(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group across 1 directory
completed successfully:
CodeQL Security Analysis#572:Pull request#46openedbydependabot[bot]Bot
dependabot/cargo/cargo-4410b433dd
May 6, 20268m 34s

Navigation Menu

CodeQL Security Analysis

1571 workflow runs

fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support

ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237

ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237

ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237

chore: drop `*` wildcard from CODEOWNERS to stop Dependabot review pings

chore: drop `*` wildcard from CODEOWNERS to stop Dependabot review pings

fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213)

ci: SHA-pin hyperpolymath validate-actions in dogfood-gate

CodeQL Security Analysis

chore(clippy): finish --all-features gap (resolves PR #54 stack) (#56)

chore(clippy): finish --all-features gap (resolves PR #54 stack)

ci: infra cleanup (MSRV + julia-cache + rustdoc + fmt) (#48)

feat(lean4): scaffold EchidnaTrustProofs lakefile + apply mechanical …

chore(state): refresh rust-to-rust-spark roadmap (initial slate done;…

chore(state): refresh rust-to-rust-spark roadmap (initial slate done; 3 new candidates)

feat(spark): certificates SPARK companion — run #3 (completes initial…

feat(spark): certificates SPARK companion — run #3 (completes initial roadmap)

feat(spark): solver_integrity SPARK companion — run #2 (#49)

feat(spark): solver_integrity SPARK companion — run #2

ci: infra cleanup (MSRV + julia-cache + rustdoc + fmt)

feat(spark): axiom_tracker SPARK companion — run #1 (closes #40) (#47)

feat(spark): axiom_tracker SPARK companion — run #1 (closes #40)

feat(spark): axiom_tracker SPARK companion — run #1 (closes #40)

chore(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group …

chore(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group across 1 directory

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

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