Skip to content

Actions: dhilst/algae

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
61 workflow runs
61 workflow runs

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
docs: restate contexts so tutorial proofs check again CI #61: Commit b8e44da pushed by dhilst
1m 33s main
main
1m 33s
core: give forall_elim an explicit witness parameter CI #60: Commit b06aad5 pushed by dhilst
53s main
main
53s
game: Enter interacts with the current room CI #59: Commit ed08ec5 pushed by dhilst
41s main
main
41s
docs: fix induction proof to restate ih (no implicit weakening) CI #58: Commit c101bcc pushed by dhilst
51s main
main
51s
rewrite(<eq>)?: infer axiom arguments and format forward multi-line CI #57: Commit b56ecfe pushed by dhilst
47s main
main
47s
Ignore local CLAUDE.md CI #56: Commit f2a9357 pushed by dhilst
42s main
main
42s
docs: document the rewrite(<eq>)? hole in the rewrite tutorial CI #55: Commit 3845079 pushed by dhilst
1m 3s main
main
1m 3s
algae-wasm: disable wasm-opt (Binaryen MVP-table parse failure) CI #54: Commit 12bccc9 pushed by dhilst
50s main
main
50s
tree-sitter: parse forall (…) st operator/type signatures CI #53: Commit 26a320f pushed by dhilst
33s main
main
33s
Rule hypothesis hygiene: name-clash fix, freshness rules, warnings CI #52: Commit 35ecebb pushed by dhilst
52s main
main
52s
Result injectivity, no-implicit-weakening, and errors tutorial CI #51: Commit 5332761 pushed by dhilst
52s main
main
52s
Parse == < > <= >= as infix comparison operators CI #50: Commit 4f2ca14 pushed by dhilst
1m 1s main
main
1m 1s
Playground: accept arbitrary URLs via a shareable ?q= parameter CI #49: Commit 6f5f9b9 pushed by dhilst
56s main
main
56s
Game: 4 monster rooms + 1 chest per level CI #48: Commit a01a207 pushed by dhilst
37s main
main
37s
Check the editor on load whenever a kernel is present CI #47: Commit aa6f666 pushed by dhilst
51s main
main
51s
Game rooms: inline rules, multi-lemma tiers with auxiliary lemmas; pl… CI #46: Commit 65b8a12 pushed by dhilst
55s main
main
55s
Offer the wip->qed fix on a completed cases block CI #45: Commit bdbb54f pushed by dhilst
1m 0s main
main
1m 0s
Drop the induction section from the crash course CI #44: Commit 22fcc71 pushed by dhilst
49s main
main
49s
Add contrapositive rule; inline rules in crash course; annotate stack… CI #43: Commit 76d80d0 pushed by dhilst
43s main
main
43s
Tutorial: inline rules, proof trees, algebraic-spec chapter, stack-dr… CI #42: Commit 8feb024 pushed by dhilst
45s main
main
45s
Rename rewrite rules; restructure tutorial; add proof-techniques cras… CI #41: Commit 08d2d40 pushed by dhilst
59s main
main
59s
Add autocomplete-driven fix suggestions to the editor CI #40: Commit fe31c52 pushed by dhilst
44s main
main
44s
Link the tutorial from the title screen CI #39: Commit 4385941 pushed by dhilst
46s main
main
46s
Give the ending an arc: the hero's doubt is gone for good CI #38: Commit f05293e pushed by dhilst
54s main
main
54s
Fix: defeating the demon never granted the ring CI #37: Commit 23ebad7 pushed by dhilst
44s main
main
44s