Workflow runs · awkronos/provably · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

82 workflow runs

82 workflow runs

fix: reject unverified composition contracts CI #50: Commit 76c5750 pushed by awktavian

6m 59s main

6m 59s

docs: derive hand-maintained values from code, gate with test_docs_co… CI #49: Commit 20853cf pushed by awktavian

8m 55s main

8m 55s

Restore regression coverage suites CI #48: Commit ba5bbec pushed by awktavian

8m 48s main

8m 48s

Document PCC product path and link succinct/pcc siblings. CI #47: Commit fe3dee5 pushed by awktavian

11m 16s main

11m 16s

Merge remote-tracking branch 'origin/main' CI #46: Commit f03bd6d pushed by awktavian

18m 40s main

18m 40s

Merge branch 'codex/cleanup-pending-20260802' into codex/integrate-al… CI #45: Commit a9561a9 pushed by awktavian

12m 48s main

12m 48s

receipts: flip trust-boundary bridge to evidence-envelope/v2 (RPT-006… CI #44: Commit 37994c9 pushed by awktavian

14m 18s main

14m 18s

fix(engine): bound Z3 by deterministic rlimit; wall-clock timeout as … CI #43: Commit 8b39b67 pushed by awktavian

10m 4s main

10m 4s

docs: cleanup provably — drop committed pytest log CI #42: Commit c88cf42 pushed by awktavian

8m 50s main

8m 50s

fix(engine): replace unused type:ignore with Any annotation for optio… CI #41: Commit 7b52aad pushed by awktavian

7m 50s main

7m 50s

ci: remove deprecated runtime paths CI #40: Commit a7c88fc pushed by awktavian

6m 27s main

6m 27s

style(bench): replace contract lambdas with definitions CI #39: Commit f3a50e7 pushed by awktavian

10m 52s main

10m 52s

chore: attribute Provably repair CI #38: Commit b4b4fc0 pushed by awktavian

6m 32s main

6m 32s

release-prep: version bump 0.3.0 -> 0.4.0, one command from a clean p… CI #37: Commit 87ca4af pushed by awktavian

7m 47s main

7m 47s

test: isolate nested pytester runs from ambient pytest-playwright plugin CI #36: Commit abba0a3 pushed by awktavian

5m 49s main

5m 49s

chore: fix broken bench entry point, silence test warnings, modernize CI CI #35: Commit 7ce9a43 pushed by awktavian

12m 54s main

12m 54s

ci: gate test coverage at 90% (measured baseline 93%) CI #34: Commit bec2d54 pushed by awktavian

5m 7s main

5m 7s

Merge remote-tracking branch 'origin/main' CI #33: Commit 2ca68c8 pushed by awktavian

3m 18s main

3m 18s

ci: move provably to self-hosted runner (GHA spend reduction) CI #32: Commit 9de59a3 pushed by awktavian

5m 41s main

5m 41s

WIP: snapshot working state (substrate audit bulk cleanup 2026-06-26) CI #31: Commit 1b7146c pushed by awktavian

31s main

31s

fix: honest bench timing and remove deprecated strict param Docs #25: Commit 0802878 pushed by awktavian

33s main

33s

fix: honest bench timing and remove deprecated strict param CI #30: Commit 0802878 pushed by awktavian

2m 1s main

2m 1s

test: close 80+ uncovered branches, coverage 88% -> 92% CI #29: Commit 498e345 pushed by awktavian

1m 58s main

1m 58s

polish: README brand integration + doc tidy Docs #24: Commit 6dff7a4 pushed by awktavian

32s main

32s

polish: README brand integration + doc tidy CI #28: Commit 6dff7a4 pushed by awktavian

1m 52s main

1m 52s