Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pi… CodeQL Security Analysis #597: Commit 7c208c6 pushed by hyperpolymath
1h 37m 20s main
main
1h 37m 20s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #596: Pull request #60 opened by hyperpolymath
45m 53s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
45m 53s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237 CodeQL Security Analysis #595: Pull request #59 synchronize by hyperpolymath
30m 11s ci/adopt-hardened-hypatia-scan-workflow
ci/adopt-hardened-hypatia-scan-workflow
30m 11s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237 CodeQL Security Analysis #594: Pull request #59 synchronize by hyperpolymath
11m 30s ci/adopt-hardened-hypatia-scan-workflow
ci/adopt-hardened-hypatia-scan-workflow
11m 30s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237 CodeQL Security Analysis #593: Pull request #59 opened by hyperpolymath
10m 57s ci/adopt-hardened-hypatia-scan-workflow
ci/adopt-hardened-hypatia-scan-workflow
10m 57s
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pings CodeQL Security Analysis #592: Pull request #58 reopened by hyperpolymath
4m 10s chore/codeowners-drop-wildcard
chore/codeowners-drop-wildcard
4m 10s
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pings CodeQL Security Analysis #591: Pull request #58 opened by hyperpolymath
6m 17s chore/codeowners-drop-wildcard
chore/codeowners-drop-wildcard
6m 17s
fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213) CodeQL Security Analysis #590: Pull request #57 opened by hyperpolymath
12h 42m 20s fix/hypatia-213-scanner-flag
fix/hypatia-213-scanner-flag
12h 42m 20s
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate CodeQL Security Analysis #589: Commit 05a0ff3 pushed by hyperpolymath
2h 11m 20s main
main
2h 11m 20s
CodeQL Security Analysis CodeQL Security Analysis #588: Scheduled
8m 55s main
main
8m 55s
chore(clippy): finish --all-features gap (resolves PR #54 stack) (#56) CodeQL Security Analysis #587: Commit 4d568d7 pushed by hyperpolymath
14m 0s main
main
14m 0s
chore(clippy): finish --all-features gap (resolves PR #54 stack) CodeQL Security Analysis #586: Pull request #56 opened by hyperpolymath
8m 21s claude/resolve-pr-54-kqPRZ
claude/resolve-pr-54-kqPRZ
8m 21s
ci: infra cleanup (MSRV + julia-cache + rustdoc + fmt) (#48) CodeQL Security Analysis #585: Commit 225e274 pushed by hyperpolymath
9m 1s main
main
9m 1s
feat(lean4): scaffold EchidnaTrustProofs lakefile + apply mechanical … CodeQL Security Analysis #584: Commit d9b145d pushed by hyperpolymath
8m 37s main
main
8m 37s
chore(state): refresh rust-to-rust-spark roadmap (initial slate done;… CodeQL Security Analysis #583: Commit c35b826 pushed by hyperpolymath
10m 57s main
main
10m 57s
chore(state): refresh rust-to-rust-spark roadmap (initial slate done; 3 new candidates) CodeQL Security Analysis #582: Pull request #52 opened by hyperpolymath
10m 38s chore/refresh-spark-roadmap
chore/refresh-spark-roadmap
10m 38s
feat(spark): certificates SPARK companion — run #3 (completes initial… CodeQL Security Analysis #581: Commit 54c03aa pushed by hyperpolymath
9m 6s main
main
9m 6s
feat(spark): certificates SPARK companion — run #3 (completes initial roadmap) CodeQL Security Analysis #580: Pull request #50 opened by hyperpolymath
8m 48s spark/certificates-run-3
spark/certificates-run-3
8m 48s
feat(spark): solver_integrity SPARK companion — run #2 (#49) CodeQL Security Analysis #579: Commit 1f92de7 pushed by hyperpolymath
10m 30s main
main
10m 30s
feat(spark): solver_integrity SPARK companion — run #2 CodeQL Security Analysis #578: Pull request #49 opened by hyperpolymath
8m 37s spark/solver-integrity-run-2
spark/solver-integrity-run-2
8m 37s
ci: infra cleanup (MSRV + julia-cache + rustdoc + fmt) CodeQL Security Analysis #577: Pull request #48 opened by hyperpolymath
10m 30s ci/infra-cleanup-2026-05-11
ci/infra-cleanup-2026-05-11
10m 30s
feat(spark): axiom_tracker SPARK companion — run #1 (closes #40) (#47) CodeQL Security Analysis #576: Commit f18cd5c pushed by hyperpolymath
9m 18s main
main
9m 18s
feat(spark): axiom_tracker SPARK companion — run #1 (closes #40) CodeQL Security Analysis #575: Pull request #47 synchronize by hyperpolymath
8m 18s spark/axiom-tracker-run-1
spark/axiom-tracker-run-1
8m 18s
feat(spark): axiom_tracker SPARK companion — run #1 (closes #40) CodeQL Security Analysis #574: Pull request #47 opened by hyperpolymath
8m 11s spark/axiom-tracker-run-1
spark/axiom-tracker-run-1
8m 11s
chore(deps): bump openssl from 0.10.78 to 0.10.79 in the cargo group … CodeQL Security Analysis #573: Commit 77a43cc pushed by hyperpolymath
10m 0s main
main
10m 0s
ProTip! You can narrow down the results and go further in time using created:<2026-05-07 or the other filters available.