Skip to content

Actions: midspiral/LemmaScript

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
855 workflow runs
855 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
Merge branch 'main' of github.com:midspiral/LemmaScript CI #857: Commit 42ce699 pushed by namin
8m 49s main
main
8m 49s
Merge pull request #177 from midspiral/site CI #856: Commit 3aa6da7 pushed by graciolli-f
8m 25s main
main
8m 25s
add discord CI #855: Pull request #177 opened by graciolli-f
8m 32s site
site
8m 32s
Merge pull request #176 from midspiral/site CI #854: Commit 4607366 pushed by namin
10m 20s main
main
10m 20s
Merge pull request #175 from midspiral/terminator CI #853: Commit 33e3714 pushed by namin
9m 31s main
main
9m 31s
mostly style changes + auto update version in docs CI #852: Pull request #176 opened by graciolli-f
7m 58s site
site
7m 58s
deal with terminators uniformly in narrowing and resolve CI #851: Pull request #175 opened by namin
8m 47s terminator
terminator
8m 47s
Merge pull request #174 from midspiral/site CI #850: Commit 6da4285 pushed by namin
8m 15s main
main
8m 15s
Site CI #849: Pull request #174 opened by graciolli-f
8m 16s site
site
8m 16s
update version in docs CI #848: Commit 4297b5b pushed by namin
7m 52s main
main
7m 52s
update stale info CI #847: Commit 65767ac pushed by namin
8m 33s main
main
8m 33s
rm section CI #846: Commit f3e2904 pushed by namin
8m 56s main
main
8m 56s
minimal edits for runtime guard layer CI #845: Commit c70e366 pushed by namin
8m 12s main
main
8m 12s
bump kit on each change CI #844: Commit 361487f pushed by namin
8m 31s main
main
8m 31s
0.5.17 CI #843: Commit 6bee8ea pushed by namin
7m 35s main
main
7m 35s
add continuous integration section CI #842: Commit 08efca0 pushed by namin
10m 17s main
main
10m 17s
tweaks for Lean: order of decls need toposort, plus minor parentheses… CI #841: Commit 46580e3 pushed by namin
13m 56s main
main
13m 56s
tweaks for Lean: order of decls need toposort, plus minor parentheses CI #840: Pull request #173 synchronize by namin
8m 2s lean-tweaks
lean-tweaks
8m 2s
tweaks for Lean: order of decls need toposort, plus minor parentheses CI #839: Pull request #173 synchronize by namin
8m 40s lean-tweaks
lean-tweaks
8m 40s
tweaks for Lean: order of decls need toposort, plus minor parentheses CI #838: Pull request #173 synchronize by namin
9m 18s lean-tweaks
lean-tweaks
9m 18s
tweaks for Lean: order of decls need toposort, plus minor parentheses CI #837: Pull request #173 synchronize by namin
8m 54s lean-tweaks
lean-tweaks
8m 54s
tweaks for Lean: order of decls need toposort, plus minor parentheses CI #836: Pull request #173 opened by namin
8m 30s lean-tweaks
lean-tweaks
8m 30s
Merge pull request #172 from midspiral/some-reduce CI #835: Commit c2b27c1 pushed by namin
8m 39s main
main
8m 39s
support for some with named function and reduce CI #834: Pull request #172 opened by namin
7m 45s some-reduce
some-reduce
7m 45s
Merge pull request #171 from midspiral/safe-slice CI #833: Commit 55c5879 pushed by namin
8m 13s main
main
8m 13s