Skip to content

Actions: jlt-commons/writ

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 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
Merge pull request #13 from jlt-commons/jolt-0.8.13 ci #67: Commit dba1d08 pushed by yogthos
4m 30s main
main
4m 30s
CI: jolt v0.8.13 ci #66: Commit c26d1d4 pushed by yogthos
4m 5s jolt-0.8.13
jolt-0.8.13
4m 5s
Merge pull request #12 from jlt-commons/eval-cache-list-vs-vector ci #65: Commit 87d78f9 pushed by yogthos
7m 40s main
main
7m 40s
CI: pong back to the examples' 60 minute timeout ci #64: Commit d78c894 pushed by yogthos
6m 38s eval-cache-list-vs-vector
eval-cache-list-vs-vector
6m 38s
Look for an exists witness among at least 1000 values ci #63: Commit 253ab06 pushed by yogthos
6m 10s eval-cache-list-vs-vector
eval-cache-list-vs-vector
6m 10s
CI: keep the examples' proof cache between runs ci #62: Commit d4e50ce pushed by yogthos
3h 0m 21s eval-cache-list-vs-vector
eval-cache-list-vs-vector
3h 0m 21s
Examples runner: print each test as it starts and ends ci #61: Commit 81f1aa7 pushed by yogthos
3h 0m 19s eval-cache-list-vs-vector
eval-cache-list-vs-vector
3h 0m 19s
CI: pin jolt, so parallel installs don't hit the API rate limit ci #60: Commit 28756e5 pushed by yogthos
1h 0m 21s eval-cache-list-vs-vector
eval-cache-list-vs-vector
1h 0m 21s
Run each example as its own CI job, with timeouts ci #59: Commit 279b347 pushed by yogthos
1h 0m 19s eval-cache-list-vs-vector
eval-cache-list-vs-vector
1h 0m 19s
Key the law evaluator's cache by the printed term ci #58: Commit 461b20d pushed by yogthos
1h 30m 22s eval-cache-list-vs-vector
eval-cache-list-vs-vector
1h 30m 22s
Merge pull request #11 from jlt-commons/graph-semantics ci #57: Commit 9518c41 pushed by yogthos
1h 46m 46s main
main
1h 46m 46s
Check that the code is wired as the graph plans ci #56: Commit 3364344 pushed by yogthos
6h 0m 21s graph-semantics
graph-semantics
6h 0m 21s
Prove Nat and Int return contracts ci #55: Commit e985a17 pushed by yogthos
47m 52s nested-descent-and-int-contracts
nested-descent-and-int-contracts
47m 52s
Merge pull request #9 from jlt-commons/prove-sorted-set ci #54: Commit 712baae pushed by yogthos
51m 54s main
main
51m 54s
Use a lemma only at terms of its types ci #53: Commit f100251 pushed by yogthos
47m 36s prove-sorted-set
prove-sorted-set
47m 36s
Prove the tree holds a sorted set ci #52: Commit 7bec6ff pushed by yogthos
47m 30s prove-sorted-set
prove-sorted-set
47m 30s
Merge pull request #8 from jlt-commons/proofs-over-every-input ci #51: Commit 1f32177 pushed by yogthos
33m 36s main
main
33m 36s
writ.spec: look harder for a rare refinement's values ci #50: Commit 6af2cd8 pushed by yogthos
30m 0s proofs-over-every-input
proofs-over-every-input
30m 0s
Document graphs, refinements, the solver and the proof namespace ci #49: Commit cac6628 pushed by yogthos
3m 48s proofs-over-every-input
proofs-over-every-input
3m 48s
writ.spec: refinement types and the state graph ci #48: Commit 9095bd7 pushed by yogthos
11m 0s main
main
11m 0s
Prover: named constants, contains? on literal sets, and more of cloju… ci #47: Commit 1fef67f pushed by yogthos
5m 43s main
main
5m 43s
writ.spec: say which laws are proved, and let a spec require proof ci #46: Commit 1e2fe7e pushed by yogthos
5m 32s main
main
5m 32s
examples: keep raylib off the test classpath ci #45: Commit fe26931 pushed by yogthos
7m 5s main
main
7m 5s
Prover: an independent checker replays every proof ci #44: Commit 57c6e19 pushed by yogthos
3m 47s main
main
3m 47s
writ.spec: machine checks a step fn against its transition table ci #43: Commit 66d2eab pushed by yogthos
1m 10s main
main
1m 10s