Skip to content

Actions: hyperpolymath/vcl-ut

Actions

E2E, Property and Aspect Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
88 workflow runs
88 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 E2E, Property and Aspect Tests #88: Commit bea2e16 pushed by hyperpolymath
4h 4m 5s main
main
4h 4m 5s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… E2E, Property and Aspect Tests #87: Commit 355246f pushed by hyperpolymath
1h 4m 12s main
main
1h 4m 12s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) E2E, Property and Aspect Tests #86: Pull request #35 opened by hyperpolymath
1h 4m 16s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1h 4m 16s
Merge pull request #34 from hyperpolymath/reinforce/vclut-25-phase5d-… E2E, Property and Aspect Tests #85: Commit e4e3f99 pushed by hyperpolymath
15s main
main
15s
vcl-ut #25 P5d: Tier-2 C-ABI Ed25519 attestation fallback (RESOLVED) — closes the workstream E2E, Property and Aspect Tests #84: Pull request #34 opened by hyperpolymath
13s reinforce/vclut-25-phase5d-attest
reinforce/vclut-25-phase5d-attest
13s
Merge pull request #33 from hyperpolymath/reinforce/vclut-25-phase5c6… E2E, Property and Aspect Tests #83: Commit 2b52266 pushed by hyperpolymath
39s main
main
39s
vcl-ut #25 P5c (step 6): stance flip OWED->RESOLVED (Tier-1 recompute-PCC) + ADR-0002 E2E, Property and Aspect Tests #82: Pull request #33 opened by hyperpolymath
55s reinforce/vclut-25-phase5c6-stance
reinforce/vclut-25-phase5c6-stance
55s
Merge pull request #32 from hyperpolymath/reinforce/vclut-25-phase5c5… E2E, Property and Aspect Tests #81: Commit 0a43bce pushed by hyperpolymath
28s main
main
28s
vcl-ut #25 P5c (step 5): recompute-PCC wasm32 entry (fail-closed; isolated unsafe boundary) E2E, Property and Aspect Tests #80: Pull request #32 opened by hyperpolymath
1m 8s reinforce/vclut-25-phase5c5-twasm
reinforce/vclut-25-phase5c5-twasm
1m 8s
Merge pull request #31 from hyperpolymath/reinforce/vclut-25-phase5c2… E2E, Property and Aspect Tests #79: Commit 8a36afb pushed by hyperpolymath
57s main
main
57s
vcl-ut #25 P5c (steps 2-4): faithful Rust recompute-decider + cross-language decision conformance E2E, Property and Aspect Tests #78: Pull request #31 opened by hyperpolymath
1m 6s reinforce/vclut-25-phase5c2-aff-decoder
reinforce/vclut-25-phase5c2-aff-decoder
1m 6s
Merge pull request #30 from hyperpolymath/reinforce/vclut-25-phase5c-… E2E, Property and Aspect Tests #77: Commit c977fca pushed by hyperpolymath
26s main
main
26s
Merge pull request #29 from hyperpolymath/reinforce/vclut-25-phase5b-… E2E, Property and Aspect Tests #76: Commit 6426f4f pushed by hyperpolymath
33s main
main
33s
vcl-ut #25 P5c (step 1): certified OctadSchema wire codec + cross-language conformance E2E, Property and Aspect Tests #75: Pull request #30 opened by hyperpolymath
1m 54s reinforce/vclut-25-phase5c-twasm-pcc
reinforce/vclut-25-phase5c-twasm-pcc
1m 54s
vcl-ut #25 P5b (step 2): certified Idris wire decoder + cross-language Refl conformance E2E, Property and Aspect Tests #74: Pull request #29 synchronize by hyperpolymath
1m 16s reinforce/vclut-25-phase5b-idris-decoder
reinforce/vclut-25-phase5b-idris-decoder
1m 16s
vcl-ut #25 P5b (step 2): certified Idris wire decoder + cross-language Refl conformance E2E, Property and Aspect Tests #73: Pull request #29 opened by hyperpolymath
9m 34s reinforce/vclut-25-phase5b-idris-decoder
reinforce/vclut-25-phase5b-idris-decoder
9m 34s
Merge pull request #28 from hyperpolymath/reinforce/vclut-25-phase5b-… E2E, Property and Aspect Tests #72: Commit 8006c35 pushed by hyperpolymath
6m 57s main
main
6m 57s
vcl-ut #25 P5b (step 1): C-ABI wire codec for Statement E2E, Property and Aspect Tests #71: Pull request #28 opened by hyperpolymath
6m 30s reinforce/vclut-25-phase5b-wire
reinforce/vclut-25-phase5b-wire
6m 30s
Merge pull request #26 from hyperpolymath/reinforce/vclut-25-phase5a-… E2E, Property and Aspect Tests #70: Commit 2d9e3cd pushed by hyperpolymath
3m 17s main
main
3m 17s
Merge pull request #24 from hyperpolymath/proof-debt/vclut-124-phase4… E2E, Property and Aspect Tests #69: Commit 5214629 pushed by hyperpolymath
2m 54s main
main
2m 54s
vcl-ut #25 P5b (step 1): C-ABI wire codec for Statement E2E, Property and Aspect Tests #68: Pull request #27 opened by hyperpolymath
53s reinforce/vclut-25-phase5b-wire
reinforce/vclut-25-phase5b-wire
53s
vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser E2E, Property and Aspect Tests #67: Pull request #26 synchronize by hyperpolymath
1m 15s reinforce/vclut-25-phase5a-rust-parser
reinforce/vclut-25-phase5a-rust-parser
1m 15s
vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) E2E, Property and Aspect Tests #66: Pull request #24 synchronize by hyperpolymath
28s proof-debt/vclut-124-phase4-owed
proof-debt/vclut-124-phase4-owed
28s
vcl-ut #25 P5a: trusted Rust/SPARK-grade String->Statement parser E2E, Property and Aspect Tests #65: Pull request #26 opened by hyperpolymath
42m 52s reinforce/vclut-25-phase5a-rust-parser
reinforce/vclut-25-phase5a-rust-parser
42m 52s
vcl-ut Phase 4: discharge layout + L6-L10 join-closure proof debt (standards#124) E2E, Property and Aspect Tests #64: Pull request #24 synchronize by hyperpolymath
1h 6m 10s proof-debt/vclut-124-phase4-owed
proof-debt/vclut-124-phase4-owed
1h 6m 10s