Skip to content

Actions: hyperpolymath/vcl-ut

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
148 workflow runs
148 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: migrate license from PMPL-1.0-or-later to MPL-2.0 CodeQL Security Analysis #148: Commit bea2e16 pushed by hyperpolymath
4h 14m 40s main
main
4h 14m 40s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #147: Commit 355246f pushed by hyperpolymath
1h 0m 24s main
main
1h 0m 24s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) CodeQL Security Analysis #146: Pull request #35 opened by hyperpolymath
47m 9s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
47m 9s
Merge pull request #34 from hyperpolymath/reinforce/vclut-25-phase5d-… CodeQL Security Analysis #145: Commit e4e3f99 pushed by hyperpolymath
1m 17s main
main
1m 17s
vcl-ut #25 P5d: Tier-2 C-ABI Ed25519 attestation fallback (RESOLVED) — closes the workstream CodeQL Security Analysis #144: Pull request #34 opened by hyperpolymath
36s reinforce/vclut-25-phase5d-attest
reinforce/vclut-25-phase5d-attest
36s
Merge pull request #33 from hyperpolymath/reinforce/vclut-25-phase5c6… CodeQL Security Analysis #143: Commit 2b52266 pushed by hyperpolymath
35s main
main
35s
vcl-ut #25 P5c (step 6): stance flip OWED->RESOLVED (Tier-1 recompute-PCC) + ADR-0002 CodeQL Security Analysis #142: Pull request #33 opened by hyperpolymath
1m 15s reinforce/vclut-25-phase5c6-stance
reinforce/vclut-25-phase5c6-stance
1m 15s
Merge pull request #32 from hyperpolymath/reinforce/vclut-25-phase5c5… CodeQL Security Analysis #141: Commit 0a43bce pushed by hyperpolymath
48s main
main
48s
vcl-ut #25 P5c (step 5): recompute-PCC wasm32 entry (fail-closed; isolated unsafe boundary) CodeQL Security Analysis #140: Pull request #32 opened by hyperpolymath
1m 31s reinforce/vclut-25-phase5c5-twasm
reinforce/vclut-25-phase5c5-twasm
1m 31s
Merge pull request #31 from hyperpolymath/reinforce/vclut-25-phase5c2… CodeQL Security Analysis #139: Commit 8a36afb pushed by hyperpolymath
1m 2s main
main
1m 2s
vcl-ut #25 P5c (steps 2-4): faithful Rust recompute-decider + cross-language decision conformance CodeQL Security Analysis #138: Pull request #31 opened by hyperpolymath
2m 27s reinforce/vclut-25-phase5c2-aff-decoder
reinforce/vclut-25-phase5c2-aff-decoder
2m 27s
Merge pull request #30 from hyperpolymath/reinforce/vclut-25-phase5c-… CodeQL Security Analysis #137: Commit c977fca pushed by hyperpolymath
1m 16s main
main
1m 16s
Merge pull request #29 from hyperpolymath/reinforce/vclut-25-phase5b-… CodeQL Security Analysis #136: Commit 6426f4f pushed by hyperpolymath
38s main
main
38s
vcl-ut #25 P5b (step 2): certified Idris wire decoder + cross-language Refl conformance CodeQL Security Analysis #135: Pull request #29 synchronize by hyperpolymath
2m 42s reinforce/vclut-25-phase5b-idris-decoder
reinforce/vclut-25-phase5b-idris-decoder
2m 42s
vcl-ut #25 P5b (step 2): certified Idris wire decoder + cross-language Refl conformance CodeQL Security Analysis #134: Pull request #29 opened by hyperpolymath
9m 56s reinforce/vclut-25-phase5b-idris-decoder
reinforce/vclut-25-phase5b-idris-decoder
9m 56s
Merge pull request #28 from hyperpolymath/reinforce/vclut-25-phase5b-… CodeQL Security Analysis #133: Commit 8006c35 pushed by hyperpolymath
4m 17s main
main
4m 17s
vcl-ut #25 P5b (step 1): C-ABI wire codec for Statement CodeQL Security Analysis #132: Pull request #28 opened by hyperpolymath
4m 35s reinforce/vclut-25-phase5b-wire
reinforce/vclut-25-phase5b-wire
4m 35s
Merge pull request #26 from hyperpolymath/reinforce/vclut-25-phase5a-… CodeQL Security Analysis #131: Commit 2d9e3cd pushed by hyperpolymath
2m 3s main
main
2m 3s
Merge pull request #24 from hyperpolymath/proof-debt/vclut-124-phase4… CodeQL Security Analysis #130: Commit 5214629 pushed by hyperpolymath
27s main
main
27s
vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser CodeQL Security Analysis #129: Pull request #26 synchronize by hyperpolymath
1m 14s reinforce/vclut-25-phase5a-rust-parser
reinforce/vclut-25-phase5a-rust-parser
1m 14s
vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) CodeQL Security Analysis #128: Pull request #24 synchronize by hyperpolymath
2m 1s proof-debt/vclut-124-phase4-owed
proof-debt/vclut-124-phase4-owed
2m 1s
vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser CodeQL Security Analysis #127: Pull request #26 opened by hyperpolymath
41m 32s reinforce/vclut-25-phase5a-rust-parser
reinforce/vclut-25-phase5a-rust-parser
41m 32s
vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) CodeQL Security Analysis #126: Pull request #24 synchronize by hyperpolymath
1h 6m 46s proof-debt/vclut-124-phase4-owed
proof-debt/vclut-124-phase4-owed
1h 6m 46s
vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) CodeQL Security Analysis #125: Pull request #24 synchronize by hyperpolymath
9m 49s proof-debt/vclut-124-phase4-owed
proof-debt/vclut-124-phase4-owed
9m 49s
vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) CodeQL Security Analysis #124: Pull request #24 synchronize by hyperpolymath
24s proof-debt/vclut-124-phase4-owed
proof-debt/vclut-124-phase4-owed
24s