Skip to content

Actions: blocksmithy/mithril-dwarf

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 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
Upstream Mithril Drift Check Upstream Mithril Drift Check #12: Scheduled
17s main
main
17s
Merge pull request #12 from Sbcdn/dev Guest verifier tests #11: Commit 17708a8 pushed by Sbcdn
38s dev
dev
38s
Merge pull request #12 from Sbcdn/dev Guest verifier tests #10: Commit 17708a8 pushed by Sbcdn
27s main
main
27s
docs: add SECURITY.md (private disclosure + soundness scope) Guest verifier tests #9: Pull request #12 opened by Sbcdn
40s dev
dev
40s
docs: add SECURITY.md (private disclosure + soundness scope) Guest verifier tests #8: Commit 2af5cbb pushed by Sbcdn
30s dev
dev
30s
docs: drop two 'essentially' hedges in test comments Guest verifier tests #7: Commit 7f55ac1 pushed by Sbcdn
1m 39s main
main
1m 39s
docs: drop two 'essentially' hedges in test comments Kani proofs #3: Commit 7f55ac1 pushed by Sbcdn
1m 28s main
main
1m 28s
docs: drop two 'essentially' hedges in test comments Guest verifier tests #6: Commit 7f55ac1 pushed by Sbcdn
32s dev
dev
32s
docs: drop two 'essentially' hedges in test comments Kani proofs #2: Commit 7f55ac1 pushed by Sbcdn
1m 38s dev
dev
1m 38s
oracle pin: also pin the re-port construction + non-vacuity guard Guest verifier tests #5: Commit ca55b81 pushed by Sbcdn
37s dev
dev
37s
hardening: oracle pin, Kani comparator proofs, drift alert, fuzz/floors Kani proofs #1: Commit 7f9380d pushed by Sbcdn
1m 29s dev
dev
1m 29s
hardening: oracle pin, Kani comparator proofs, drift alert, fuzz/floors Guest verifier tests #4: Commit 7f9380d pushed by Sbcdn
38s dev
dev
38s
lottery: exact-dyadic c via crypto-ratio from_float_exact Guest verifier tests #3: Commit e9ef067 pushed by Sbcdn
1m 19s dev
dev
1m 19s
Upstream Mithril Drift Check Upstream Mithril Drift Check #11: Scheduled
17s main
main
17s
parser: wrap-safe bounds check (32-bit guest) Guest verifier tests #2: Commit a6ccab6 pushed by Sbcdn
33s dev
dev
33s
ci: run guest verifier unit tests + clippy on push/PR Guest verifier tests #1: Commit 63bb32e pushed by Sbcdn
1m 30s dev
dev
1m 30s
Upstream Mithril Drift Check Upstream Mithril Drift Check #10: Scheduled
21s main
main
21s
chore: v0.2.0 prep + clippy cleanup Upstream Mithril Drift Check #9: Pull request #11 opened by Sbcdn
20s chore/v0.2.0-prep
chore/v0.2.0-prep
20s
perf(lottery): per-signer Taylor cache + factored compare (~46% fewer guest cycles) Upstream Mithril Drift Check #8: Pull request #10 opened by Sbcdn
14s perf/taylor-per-signer-cache
perf/taylor-per-signer-cache
14s
Perf/lottery fewer wide muls Upstream Mithril Drift Check #7: Pull request #9 synchronize by Sbcdn
21s perf/lottery-fewer-wide-muls
perf/lottery-fewer-wide-muls
21s
Perf/lottery fewer wide muls Upstream Mithril Drift Check #6: Pull request #9 opened by Sbcdn
24s perf/lottery-fewer-wide-muls
perf/lottery-fewer-wide-muls
24s
Upstream Mithril Drift Check Upstream Mithril Drift Check #5: Scheduled
29s main
main
29s
hardening: ed25519 verify_strict + mithril-client re-exports Upstream Mithril Drift Check #4: Pull request #7 opened by Sbcdn
28s hardening/verify-strict-and-client-reexports
hardening/verify-strict-and-client-reexports
28s
feat: bump upstream Mithril pin to 2617.0 + RISC0 host-converter rewrite Upstream Mithril Drift Check #3: Pull request #6 opened by Sbcdn
27s feat/mithril-2617-bump
feat/mithril-2617-bump
27s
mithril-dwarf v0.1.0: cycle-optimized verifier + equivalence harness Upstream Mithril Drift Check #2: Pull request #5 synchronize by Sbcdn
23s release/v0.1.0
release/v0.1.0
23s