Skip to content

Actions: prathamesh-git9/effect-broker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 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
Refresh README validation against the lease recovery path CI #11: Commit eb27364 pushed by prathamesh-git9
53s main
main
53s
Lead with runnable proof and honest limits CI #10: Commit 1f3ea1d pushed by prathamesh-git9
46s main
main
46s
Add CAS-fenced effect cancellation CI #9: Commit 0e883a2 pushed by prathamesh-git9
49s main
main
49s
Add correctness-focused observability with mandatory redaction CI #8: Commit ba9d6ae pushed by prathamesh-git9
39s main
main
39s
Prove Postgres in CI and add docker-compose deployment CI #7: Commit ea022a0 pushed by prathamesh-git9
48s main
main
48s
Package the proof: README around the failure matrix, demo contracts, … CI #6: Commit a1eb47c pushed by prathamesh-git9
27s main
main
27s
Add Typer CLI and MCP server surfaces CI #5: Commit 72f2b0e pushed by prathamesh-git9
28s main
main
28s
Add root conftest so the crash-matrix test imports examples in CI CI #4: Commit d28ba28 pushed by prathamesh-git9
33s main
main
33s
Add the crash matrix: real killed-after-commit proof of exactly-one e… CI #3: Commit 9cda1b1 pushed by prathamesh-git9
22s main
main
22s
Add engine, dispatch worker, reconciler, and the four-safety-class proof CI #2: Commit 7e4cb2b pushed by prathamesh-git9
34s main
main
34s
Add the correctness core: domain types, canonicalization, state machine CI #1: Commit 9dbfe1b pushed by prathamesh-git9
42s main
main
42s