Skip to content

Actions: dhilst/algae

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 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
pages build and deployment pages-build-deployment #54: by github-pages Bot
34s gh-pages
gh-pages
34s
docs: restate contexts so tutorial proofs check again CI #61: Commit b8e44da pushed by dhilst
1m 33s main
main
1m 33s
pages build and deployment pages-build-deployment #53: by github-pages Bot
28s gh-pages
gh-pages
28s
core: give forall_elim an explicit witness parameter CI #60: Commit b06aad5 pushed by dhilst
53s main
main
53s
pages build and deployment pages-build-deployment #52: by github-pages Bot
47s gh-pages
gh-pages
47s
game: Enter interacts with the current room CI #59: Commit ed08ec5 pushed by dhilst
41s main
main
41s
pages build and deployment pages-build-deployment #51: by github-pages Bot
22s gh-pages
gh-pages
22s
docs: fix induction proof to restate ih (no implicit weakening) CI #58: Commit c101bcc pushed by dhilst
51s main
main
51s
pages build and deployment pages-build-deployment #50: by github-pages Bot
20s gh-pages
gh-pages
20s
rewrite(<eq>)?: infer axiom arguments and format forward multi-line CI #57: Commit b56ecfe pushed by dhilst
47s main
main
47s
pages build and deployment pages-build-deployment #49: by github-pages Bot
28s gh-pages
gh-pages
28s
Ignore local CLAUDE.md CI #56: Commit f2a9357 pushed by dhilst
42s main
main
42s
pages build and deployment pages-build-deployment #48: by github-pages Bot
25s gh-pages
gh-pages
25s
docs: document the rewrite(<eq>)? hole in the rewrite tutorial CI #55: Commit 3845079 pushed by dhilst
1m 3s main
main
1m 3s
pages build and deployment pages-build-deployment #47: by github-pages Bot
22s gh-pages
gh-pages
22s
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
pages build and deployment pages-build-deployment #46: by github-pages Bot
25s gh-pages
gh-pages
25s
Rule hypothesis hygiene: name-clash fix, freshness rules, warnings CI #52: Commit 35ecebb pushed by dhilst
52s main
main
52s
pages build and deployment pages-build-deployment #45: by github-pages Bot
23s gh-pages
gh-pages
23s
Result injectivity, no-implicit-weakening, and errors tutorial CI #51: Commit 5332761 pushed by dhilst
52s main
main
52s
pages build and deployment pages-build-deployment #44: by github-pages Bot
23s gh-pages
gh-pages
23s
Parse == < > <= >= as infix comparison operators CI #50: Commit 4f2ca14 pushed by dhilst
1m 1s main
main
1m 1s
pages build and deployment pages-build-deployment #43: by github-pages Bot
23s gh-pages
gh-pages
23s
Playground: accept arbitrary URLs via a shareable ?q= parameter CI #49: Commit 6f5f9b9 pushed by dhilst
56s main
main
56s