Skip to content

Actions: pulseengine/sigil

Actions

Sign WASM Module

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm-signing.yml
76 workflow runs
76 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
release: v0.8.1 — audit-driven hardening (#101) Sign WASM Module #76: Commit ddb6729 pushed by avrabe
13h 41m 20s main
main
13h 41m 20s
fix: audit formal-verif honesty — relabel admits, run bazel test (#99) Sign WASM Module #75: Commit 02e3f54 pushed by avrabe
1m 37s main
main
1m 37s
fix: audit keyless — JWT alg, OIDC env, Rekor SET cache, zeroization … Sign WASM Module #74: Commit 786eee8 pushed by avrabe
5h 27m 46s main
main
5h 27m 46s
fix: audit parser hardness — bounded sections, x509 depth, DSSE fuzz,… Sign WASM Module #73: Commit ae3a0a0 pushed by avrabe
5h 23m 37s main
main
5h 23m 37s
fix: audit hygiene — kani cfg, version drift, doc cleanup, CI bloat (… Sign WASM Module #72: Commit fb120dd pushed by avrabe
4h 59m 7s main
main
4h 59m 7s
docs: audit STPA + compliance honesty (#96) Sign WASM Module #71: Commit df22cec pushed by avrabe
5h 9m 55s main
main
5h 9m 55s
fix: V-model pilot — scaffold scripts/vmodel/ + close 9 of 12 rivet v… Sign WASM Module #70: Commit 8670d3c pushed by avrabe
1m 37s main
main
1m 37s
fix: reject malformed cert_count in SignatureForHashes::deserialize (… Sign WASM Module #69: Commit 665af55 pushed by avrabe
7m 21s main
main
7m 21s
chore: add Mythos bug-hunt pipeline + AGENTS.md restructure (#86) Sign WASM Module #68: Commit 0441bcc pushed by avrabe
1m 42s main
main
1m 42s
ci: tolerate wsc-cli.wasm sign failure in release workflow (#85) Sign WASM Module #67: Commit 923d215 pushed by avrabe
4m 47s main
main
4m 47s
ci: install Nix in release workflow for Bazel Rocq toolchain (#84) Sign WASM Module #66: Commit 431526a pushed by avrabe
1m 31s main
main
1m 31s
chore: release v0.8.0 (#83) Sign WASM Module #65: Commit cdeee5a pushed by avrabe
2m 47s main
main
2m 47s
fix: SPKI cert pinning + wasmtime 29→43 + Rust 1.91 (#82) Sign WASM Module #64: Commit 9bed4fe pushed by avrabe
1m 35s main
main
1m 35s
fix: STPA-Sec round 3 — artifact updates + 3 hardening fixes (#81) Sign WASM Module #63: Commit 8c22eed pushed by avrabe
1m 37s main
main
1m 37s
fix: 14 security hardening fixes from deep audit (#80) Sign WASM Module #62: Commit cddc81f pushed by avrabe
7m 40s main
main
7m 40s
feat: first Rocq proof + Rocq CI job (CV-22) (#78) Sign WASM Module #61: Commit 2e4ed16 pushed by avrabe
9m 19s main
main
9m 19s
feat: full Verus pipeline — verify + strip with hermetic sysroot (#77) Sign WASM Module #60: Commit c406783 pushed by avrabe
1m 38s main
main
1m 38s
feat: full verification pipeline — Verus, Rocq, Lean Bazel integratio… Sign WASM Module #59: Commit be333bc pushed by avrabe
7m 8s main
main
7m 8s
v0.7.0 Sign WASM Module #58: Release v0.7.0 published by avrabe
42m 16s
42m 16s
chore: bump version to 0.7.0 (#75) Sign WASM Module #57: Commit 8d20949 pushed by avrabe
11m 15s main
main
11m 15s
feat: WASM Component Model signing support (FEAT-11, SC-20, SC-21) (#74) Sign WASM Module #56: Commit 297520e pushed by avrabe
8m 51s main
main
8m 51s
feat: STPA-Sec gap closure — 112 new artifacts for v0.6.x features (#73) Sign WASM Module #55: Commit aef5cea pushed by avrabe
1m 35s main
main
1m 35s
v0.6.1 Sign WASM Module #54: Release v0.6.1 published by avrabe
28m 53s
28m 53s
feat: self-sign release binaries, Lean4 proofs, verification guide (#72) Sign WASM Module #53: Commit 3f44a08 pushed by avrabe
4m 33s main
main
4m 33s
docs: convert ASCII art diagrams to Mermaid (#71) Sign WASM Module #52: Commit de17dcd pushed by avrabe
13m 26s main
main
13m 26s