Workflow runs · resonatehq/resonate-specification · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

85 workflow runs

85 workflow runs

Key the corpus off the branch log, and delete the classifier binaries #82: Commit 314676c pushed by dtornow

59s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

59s

Key the corpus off the branch log, and delete the classifier lean #3: Commit 314676c pushed by dtornow

37s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

37s

Both directions of the relational tier: 33 of 95 binaries #81: Commit 8c174cf pushed by dtornow

1m 4s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

1m 4s

The transition tier, reusing the same handler discharge: 30 of 95 binaries #80: Commit b64969d pushed by dtornow

1m 5s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

1m 5s

Note every branch, and catalogue them binaries #79: Commit 723a990 pushed by dtornow

1m 4s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

1m 4s

Note every branch, and catalogue them lean #2: Commit 723a990 pushed by dtornow

35s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

35s

The frame, and uniqueness: 25 of the 95 entries proved binaries #78: Commit 5e0d28d pushed by dtornow

57s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

57s

CI: type-check the specification lean #1: Commit 10a97fc pushed by dtornow

5m 51s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

5m 51s

CI: type-check the specification binaries #77: Commit 10a97fc pushed by dtornow

59s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

59s

The tier covers all three tables: 19 of the 45 state entries proved binaries #76: Commit 873d531 pushed by dtornow

59s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

59s

A second output channel: List Effect x List Branch binaries #75: Commit 6ac64eb pushed by dtornow

54s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

54s

Fact P joins the induction, and task.create's timer claim becomes a p… binaries #74: Commit adaba06 pushed by dtornow

1m 2s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

1m 2s

Prove the first catalogue entry, and the machinery that makes the res… binaries #73: Commit 99faac8 pushed by dtornow

58s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

58s

Split the resume drain by the door its callback came through binaries #72: Commit a767f09 pushed by dtornow

55s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

55s

legalAt is Legal's body, not something stronger binaries #71: Commit c01d698 pushed by dtornow

54s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

54s

Generate the conformance corpus from the machine, coverage-directed binaries #70: Commit 304b25d pushed by dtornow

1m 1s claude/semantic-test-coverage-ikg8p8

claude/semantic-test-coverage-ikg8p8

1m 1s

The specification does not collect failure names binaries #69: Commit 8084401 pushed by dtornow

59s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

59s

Legal joins the system, and the sweep folds the same way binaries #68: Commit a129944 pushed by dtornow

54s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

54s

Legal is one fold over the catalogue binaries #67: Commit 684b447 pushed by dtornow

56s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

56s

Name the walks after the constructors they fold binaries #66: Commit 2ab6b4b pushed by dtornow

1m 3s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

1m 3s

Legal is the catalogue, and nothing else binaries #65: Commit 563aa21 pushed by dtornow

1m 0s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

1m 0s

State Valid → Legal, and the four obligations it splits into binaries #64: Commit efbfa4d pushed by dtornow

59s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

59s

The sweep is back on, and it closed a gap binaries #63: Commit 1d04f7c pushed by dtornow

55s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

55s

Fix the build a5ef807 broke, and prose it left stating a refuted design binaries #62: Commit 3b1f494 pushed by dtornow

1m 1s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

1m 1s

The retry interval is server configuration, and it lives in Env binaries #61: Commit a5ef807 pushed by dtornow

59s claude/verus-lean-spec-issues-iliy1s

claude/verus-lean-spec-issues-iliy1s

59s