Skip to content

Actions: hyperpolymath/vcl-ut

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
246 workflow runs
246 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
Merge pull request #22 from hyperpolymath/proof-debt/vclut-124-phase2… CodeQL Security Analysis #121: Commit 0a729c2 pushed by hyperpolymath
29s main
main
29s
Merge pull request #21 from hyperpolymath/proof-debt/vclut-124-phase1… CodeQL Security Analysis #120: Commit 11b12ad pushed by hyperpolymath
22s main
main
22s
vcl-ut Phase 1: resurrect the proof corpus (compiles green, CI-gated, honest) CodeQL Security Analysis #119: Pull request #21 synchronize by hyperpolymath
12h 14m 27s proof-debt/vclut-124-phase1-corpus-resurrection
proof-debt/vclut-124-phase1-corpus-resurrection
12h 14m 27s
vcl-ut HOLE: de-vacuize L4 SQL-injection predicate + machine-verified… CodeQL Security Analysis #118: Commit 89c64a1 pushed by hyperpolymath
9h 31m 21s main
main
9h 31m 21s
vcl-ut HOLE: de-vacuize L4 SQL-injection predicate + machine-verified model + honest stance CodeQL Security Analysis #117: Pull request #20 opened by hyperpolymath
12h 45m 12s fix/vclut-l4-devacuize-honest-stance
fix/vclut-l4-devacuize-honest-stance
12h 45m 12s
docs: add honest verification stance for hypatia<->verisim interface … CodeQL Security Analysis #116: Commit 55123ee pushed by hyperpolymath
1h 35m 12s main
main
1h 35m 12s
docs: honest verification stance for hypatia<->verisim interface CodeQL Security Analysis #115: Pull request #19 opened by hyperpolymath
12h 19m 49s stance/verification-honesty-124
stance/verification-honesty-124
12h 19m 49s
ci: redistribute concurrency-cancel guard to read-only check workflow… CodeQL Security Analysis #114: Commit 075de75 pushed by hyperpolymath
9h 1m 55s main
main
9h 1m 55s
ci: redistribute concurrency-cancel guard to read-only check workflows CodeQL Security Analysis #113: Pull request #18 opened by hyperpolymath
17h 6m 17s sweep/standards-122-concurrency
sweep/standards-122-concurrency
17h 6m 17s
CodeQL Security Analysis CodeQL Security Analysis #112: Scheduled
1h 42m 29s main
main
1h 42m 29s
harden(ci): concurrency-cancel guard on canonical check workflows (#17) CodeQL Security Analysis #111: Commit c0fde96 pushed by hyperpolymath
36m 9s main
main
36m 9s
harden(ci): concurrency-cancel guard on canonical check workflows CodeQL Security Analysis #110: Pull request #17 opened by hyperpolymath
9h 4m 27s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
9h 4m 27s
Update README.adoc CodeQL Security Analysis #109: Commit 722ce70 pushed by hyperpolymath
5h 26m 55s main
main
5h 26m 55s
fix(ci): bump a2ml/k9-validate-action pins to canonical (standards#85… CodeQL Security Analysis #108: Commit 042f366 pushed by hyperpolymath
23h 53m 7s main
main
23h 53m 7s
fix(ci): bump a2ml/k9-validate-action pins to canonical CodeQL Security Analysis #107: Pull request #16 opened by hyperpolymath
23h 54m 29s fix/ci-dogfood-pins-standards-85
fix/ci-dogfood-pins-standards-85
23h 54m 29s
fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build dr… CodeQL Security Analysis #106: Commit f4239cc pushed by hyperpolymath
17h 59m 49s main
main
17h 59m 49s
fix(ci): sync hypatia-scan.yml to canonical CodeQL Security Analysis #105: Pull request #15 opened by hyperpolymath
17h 53m 36s fix/hypatia-scan-canonical
fix/hypatia-scan-canonical
17h 53m 36s
chore(ci): replace per-repo governance copies with shared bundle wrapper CodeQL Security Analysis #104: Commit 156b9f3 pushed by hyperpolymath
14h 25m 6s main
main
14h 25m 6s
fix(ci): build Hypatia escript from repo root (estate dogfood drift) CodeQL Security Analysis #103: Commit b039e9f pushed by hyperpolymath
6h 52m 45s main
main
6h 52m 45s
fix(ci): hypatia-scan.yml -- pass GITHUB_TOKEN, use --exit-zero (hype… CodeQL Security Analysis #102: Commit 44e3910 pushed by hyperpolymath
3h 36m 40s main
main
3h 36m 40s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support (#14) CodeQL Security Analysis #101: Commit d6961b2 pushed by hyperpolymath
3h 22m 3s main
main
3h 22m 3s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #100: Pull request #14 synchronize by hyperpolymath
3h 7m 12s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
3h 7m 12s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support CodeQL Security Analysis #99: Pull request #14 opened by hyperpolymath
1h 11m 16s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
1h 11m 16s
fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213) CodeQL Security Analysis #98: Pull request #13 opened by hyperpolymath
13h 8m 44s fix/hypatia-213-scanner-flag
fix/hypatia-213-scanner-flag
13h 8m 44s
ci: bump actions/upload-artifact SHA to current v4 (#12) CodeQL Security Analysis #97: Commit f939f35 pushed by hyperpolymath
5h 19m 3s main
main
5h 19m 3s