Skip to content
This repository was archived by the owner on Apr 7, 2026. It is now read-only.

Actions: paiml/provable-contracts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,386 workflow runs
1,386 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Nightly Benchmarks Nightly Benchmarks #14: Scheduled
2m 39s main
main
2m 39s
nightly nightly #30: Scheduled
17m 15s main
main
17m 15s
feat: doc_integrity fence-aware parsing, dogfood example, README upda… CI #671: Commit 626868c pushed by noahgift
3m 33s main
main
3m 33s
feat: doc_integrity fence-aware parsing, dogfood example, README upda… Kani Verification #660: Commit 626868c pushed by noahgift
32s main
main
32s
feat: document-integrity-v1 contract + validator — md/svg/yaml/media … CI #670: Commit 8f55100 pushed by noahgift
3m 21s main
main
3m 21s
feat: document-integrity-v1 contract + validator — md/svg/yaml/media … Kani Verification #659: Commit 8f55100 pushed by noahgift
41s main
main
41s
chore: bump workspace to v0.3.0 for crates.io release (Refs PMAT-495) CI #669: Commit 0ac1412 pushed by noahgift
3m 23s main
main
3m 23s
chore: bump workspace to v0.3.0 for crates.io release (Refs PMAT-495) Kani Verification #658: Commit 0ac1412 pushed by noahgift
36s main
main
36s
feat: pv dogfood — 95.3% coverage, fix CLI test compilation, UTF-8 pa… CI #668: Commit ee9a2ac pushed by noahgift
3m 38s main
main
3m 38s
feat: pv dogfood — 95.3% coverage, fix CLI test compilation, UTF-8 pa… Kani Verification #657: Commit ee9a2ac pushed by noahgift
27s main
main
27s
docs: spec v2.9.9 — 489 call sites, 174 postconditions, fleet Grade A… CI #667: Commit 51aedfb pushed by noahgift
3m 50s main
main
3m 50s
docs: spec v2.9.9 — 489 call sites, 174 postconditions, fleet Grade A… Kani Verification #656: Commit 51aedfb pushed by noahgift
38s main
main
38s
docs: spec v2.9.8 — FLEET GRADE A, KERNEL GRADE A, 918 sites (Refs PM… CI #666: Commit d59c1c9 pushed by noahgift
14m 35s main
main
14m 35s
docs: spec v2.9.8 — FLEET GRADE A, KERNEL GRADE A, 918 sites (Refs PM… Kani Verification #655: Commit d59c1c9 pushed by noahgift
33s main
main
33s
docs: spec v2.9.7 — KERNEL GRADE B, entrenar GRADE A, 801 sites (Refs… CI #665: Commit 03077c8 pushed by noahgift
19m 36s main
main
19m 36s
docs: spec v2.9.7 — KERNEL GRADE B, entrenar GRADE A, 801 sites (Refs… Kani Verification #654: Commit 03077c8 pushed by noahgift
32s main
main
32s
docs: spec v2.9.6 — KERNEL GRADE B, 803 sites, 110.8% fleet pen (Refs… CI #664: Commit 5fe4260 pushed by noahgift
14m 23s main
main
14m 23s
docs: spec v2.9.6 — KERNEL GRADE B, 803 sites, 110.8% fleet pen (Refs… Kani Verification #653: Commit 5fe4260 pushed by noahgift
38s main
main
38s
docs: spec v2.9.5 — kernel C (53.3% pen), 645 sites, 89% fleet pen (R… CI #663: Commit 5e47057 pushed by noahgift
10m 11s main
main
10m 11s
docs: spec v2.9.5 — kernel C (53.3% pen), 645 sites, 89% fleet pen (R… Kani Verification #652: Commit 5e47057 pushed by noahgift
34s main
main
34s
feat: add FALSIFY-GPU-008/009 — run/serve GPU parity + rosetta exit c… CI #662: Commit 574e7a4 pushed by noahgift
4m 29s main
main
4m 29s
feat: add FALSIFY-GPU-008/009 — run/serve GPU parity + rosetta exit c… Kani Verification #651: Commit 574e7a4 pushed by noahgift
29s main
main
29s
docs: spec v2.9.4 — full PMAT-495 progress + remaining work roadmap (… CI #661: Commit 8304dfb pushed by noahgift
3m 37s main
main
3m 37s
docs: spec v2.9.4 — full PMAT-495 progress + remaining work roadmap (… Kani Verification #650: Commit 8304dfb pushed by noahgift
32s main
main
32s
feat: aprender 125 bindings — encoder-forward + format-parity + bidir… CI #660: Commit 54fdaca pushed by noahgift
3m 52s main
main
3m 52s