Skip to content

Actions: hyperpolymath/panic-attack

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
435 workflow runs
435 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(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
chore(deps): bump the rust-minor group with 6 updates CodeQL Security Analysis #91: Pull request #9 opened by dependabot Bot
7s dependabot/cargo/rust-minor-a6380bc905
dependabot/cargo/rust-minor-a6380bc905
7s
chore: gitignore .tool-versions (asdf) CodeQL Security Analysis #90: Commit cb45def pushed by hyperpolymath
1h 54m 51s main
main
1h 54m 51s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #89: Commit 3a87421 pushed by hyperpolymath
58m 44s main
main
58m 44s
feat: add V-lang API for static analysis client CodeQL Security Analysis #88: Commit 925482f pushed by hyperpolymath
8s main
main
8s
feat: add Idris2 ABI types and Zig FFI bridge CodeQL Security Analysis #87: Commit 6a63f76 pushed by hyperpolymath
32s main
main
32s
ProTip! You can narrow down the results and go further in time using created:<2026-03-28 or the other filters available.