Skip to content

Actions: pulseengine/sigil

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: first Rocq proof + Rocq CI job (CV-22) (#78) Release #94: Commit 2e4ed16 pushed by avrabe
16m 39s main
main
16m 39s
feat: full Verus pipeline — verify + strip with hermetic sysroot (#77) Release #93: Commit c406783 pushed by avrabe
4m 21s main
main
4m 21s
feat: full verification pipeline — Verus, Rocq, Lean Bazel integratio… Release #92: Commit be333bc pushed by avrabe
12m 35s main
main
12m 35s
v0.7.0 Release #91: Release v0.7.0 published by avrabe
1h 39m 27s
1h 39m 27s
chore: bump version to 0.7.0 (#75) Release #90: Commit 8d20949 pushed by avrabe
1h 30m 41s v0.7.0
v0.7.0
1h 30m 41s
chore: bump version to 0.7.0 (#75) Release #89: Commit 8d20949 pushed by avrabe
1h 32m 13s main
main
1h 32m 13s
feat: WASM Component Model signing support (FEAT-11, SC-20, SC-21) (#74) Release #88: Commit 297520e pushed by avrabe
35m 19s main
main
35m 19s
feat: STPA-Sec gap closure — 112 new artifacts for v0.6.x features (#73) Release #87: Commit aef5cea pushed by avrabe
8m 57s main
main
8m 57s
v0.6.1 Release #86: Release v0.6.1 published by avrabe
49m 58s
49m 58s
feat: self-sign release binaries, Lean4 proofs, verification guide (#72) Release #85: Commit 3f44a08 pushed by avrabe
47m 46s v0.6.1
v0.6.1
47m 46s
feat: self-sign release binaries, Lean4 proofs, verification guide (#72) Release #84: Commit 3f44a08 pushed by avrabe
42m 15s main
main
42m 15s
docs: convert ASCII art diagrams to Mermaid (#71) Release #83: Commit de17dcd pushed by avrabe
1h 7m 47s main
main
1h 7m 47s
fix: correct repo name and decouple release from crates publish (#70) Release #82: Commit 75f2cb6 pushed by avrabe
10m 32s v0.6.0
v0.6.0
10m 32s
fix: correct repo name and decouple release from crates publish (#70) Release #81: Commit 75f2cb6 pushed by avrabe
10m 59s main
main
10m 59s
fix: add rivet-version v0.3.0, don't block release on compliance (#69) Release #80: Commit 6c581dd pushed by avrabe
12m 24s v0.6.0
v0.6.0
12m 24s
fix: add rivet-version v0.3.0, don't block release on compliance (#69) Release #79: Commit 6c581dd pushed by avrabe
5m 11s main
main
5m 11s
v0.6.0 Release #78: Release v0.6.0 published by avrabe
13m 57s
13m 57s
feat: add compliance report to release pipeline (#68) Release #77: Commit 7b14394 pushed by avrabe
4m 40s v0.6.0
v0.6.0
4m 40s
feat: add compliance report to release pipeline (#68) Release #76: Commit 7b14394 pushed by avrabe
3m 31s main
main
3m 31s
chore: release v0.6.0 (#67) Release #75: Commit 2077c0e pushed by avrabe
8m 45s main
main
8m 45s
feat: SCT monitoring, checkpoint consistency, fix rivet validation (#66) Release #74: Commit 3bf5dc7 pushed by avrabe
8m 47s main
main
8m 47s
fix: target Kani proofs to wsc package with bounded unwind (#65) Release #73: Commit 423e011 pushed by avrabe
4m 35s main
main
4m 35s
ci: make Kani bounded model checking a required check (#64) Release #72: Commit cab1b92 pushed by avrabe
5m 59s main
main
5m 59s
feat: fill Verus/Lean proofs and wire proof cache into verifier (#63) Release #71: Commit 17c0f94 pushed by avrabe
12m 38s main
main
12m 38s
feat: OCI referrers, Sigstore bundle, Lean4 proofs, CI hardening (#62) Release #70: Commit 7b37feb pushed by avrabe
16m 43s main
main
16m 43s