Skip to content

Actions: hyperpolymath/panic-attack

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
590 workflow runs
590 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
fix: add file/line fields to WeakPoint for GitHub Actions annotations… CodeQL Security Analysis #116: Commit 3154217 pushed by hyperpolymath
19m 37s main
main
19m 37s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #115: Commit 650acb5 pushed by hyperpolymath
31m 5s main
main
31m 5s
test: Add comprehensive CRG C test suite CodeQL Security Analysis #114: Commit b1689aa pushed by hyperpolymath
6s main
main
6s
fix: eliminate self-scan false positives, fix broken API calls after … CodeQL Security Analysis #113: Commit 308c29b pushed by hyperpolymath
6s main
main
6s
Snapshot local work before sync CodeQL Security Analysis #112: Commit c3bfa3a pushed by hyperpolymath
3m 2s main
main
3m 2s
chore(deps): bump the rust-minor group across 1 directory with 7 upda… CodeQL Security Analysis #111: Commit 2f280f1 pushed by hyperpolymath
6s main
main
6s
chore(deps): bump the rust-minor group across 1 directory with 7 updates CodeQL Security Analysis #110: Pull request #14 synchronize by hyperpolymath
13s dependabot/cargo/rust-minor-77ddf5ec7a
dependabot/cargo/rust-minor-77ddf5ec7a
13s
chore(deps): bump eframe from 0.27.2 to 0.34.1 (#10) CodeQL Security Analysis #109: Commit b8008d5 pushed by hyperpolymath
1m 29s main
main
1m 29s
chore(deps): bump eframe from 0.27.2 to 0.34.1 CodeQL Security Analysis #108: Pull request #10 synchronize by dependabot Bot
16s dependabot/cargo/eframe-0.34.1
dependabot/cargo/eframe-0.34.1
16s
chore(deps): bump ureq from 2.12.1 to 3.3.0 (#11) CodeQL Security Analysis #107: Commit 7a52367 pushed by hyperpolymath
29s main
main
29s
chore(deps): bump ureq from 2.12.1 to 3.3.0 CodeQL Security Analysis #106: Pull request #11 synchronize by hyperpolymath
18s dependabot/cargo/ureq-3.3.0
dependabot/cargo/ureq-3.3.0
18s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 (#12) CodeQL Security Analysis #105: Commit c12fd89 pushed by hyperpolymath
15s main
main
15s
chore(deps): bump criterion from 0.5.1 to 0.8.2 (#13) CodeQL Security Analysis #104: Commit cb08363 pushed by hyperpolymath
6s main
main
6s
feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud… CodeQL Security Analysis #103: Commit 349e4ba pushed by hyperpolymath
19m 6s main
main
19m 6s
ci: add readiness grade tests and benchmarks to E2E workflow CodeQL Security Analysis #102: Commit b160711 pushed by hyperpolymath
1m 27s main
main
1m 27s
ci: add E2E workflow for VeriSimDB integration and scan pipeline CodeQL Security Analysis #101: Commit 75779b9 pushed by hyperpolymath
11s main
main
11s
CodeQL Security Analysis CodeQL Security Analysis #100: Scheduled
1m 0s main
main
1m 0s
feat: migrate blackbox_stress from Python to Julia CodeQL Security Analysis #99: Commit af959bb pushed by hyperpolymath
8m 15s main
main
8m 15s
chore: add ROADMAP.adoc with project-specific title CodeQL Security Analysis #98: Commit 47183ed pushed by hyperpolymath
16m 57s main
main
16m 57s
feat: add stapeln.toml container definition CodeQL Security Analysis #97: Commit 4ebc930 pushed by hyperpolymath
29m 23s main
main
29m 23s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #96: Commit 8a54ad5 pushed by hyperpolymath
30m 53s main
main
30m 53s
chore(deps): bump criterion from 0.5.1 to 0.8.2 CodeQL Security Analysis #95: Pull request #13 opened by dependabot Bot
34s dependabot/cargo/criterion-0.8.2
dependabot/cargo/criterion-0.8.2
34s
chore(deps): bump sha2 from 0.10.9 to 0.11.0 CodeQL Security Analysis #94: Pull request #12 opened by dependabot Bot
38s dependabot/cargo/sha2-0.11.0
dependabot/cargo/sha2-0.11.0
38s
chore(deps): bump ureq from 2.12.1 to 3.3.0 CodeQL Security Analysis #93: Pull request #11 opened by dependabot Bot
9s dependabot/cargo/ureq-3.3.0
dependabot/cargo/ureq-3.3.0
9s
chore(deps): bump eframe from 0.27.2 to 0.34.1 CodeQL Security Analysis #92: Pull request #10 opened by dependabot Bot
12s dependabot/cargo/eframe-0.34.1
dependabot/cargo/eframe-0.34.1
12s
ProTip! You can narrow down the results and go further in time using created:<2026-03-28 or the other filters available.