Skip to content

Actions: midspiral/clear-split-lemmascript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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
fix formatting in README CI #16: Commit f77276c pushed by namin
2m 47s main
main
2m 47s
modify CI badge CI #15: Commit 4e0b1b1 pushed by namin
2m 45s main
main
2m 45s
CI badge CI #14: Commit 2fc23cb pushed by namin
7m 25s main
main
7m 25s
bump CI CI #13: Commit bef9088 pushed by namin
2m 31s main
main
2m 31s
prove more CI #12: Commit 1ff4cc4 pushed by namin
3m 1s main
main
3m 1s
fix ci CI #11: Commit 31315f5 pushed by namin
6m 58s main
main
6m 58s
prove a bit more CI #10: Commit db743a6 pushed by namin
6m 42s main
main
6m 42s
typecheck as command and in CI CI #9: Commit 1dceee8 pushed by namin
2m 46s main
main
2m 46s
retrigger CI after update CI #8: Commit 4c2a3f3 pushed by namin
2m 50s main
main
2m 50s
update after lemmascript update CI #7: Commit 8fee54a pushed by namin
2m 44s main
main
2m 44s
retrigger CI after LemmaScript update CI #6: Commit 9f63d56 pushed by namin
2m 57s main
main
2m 57s
retrigger CI after LemmaScript update CI #5: Commit d471f89 pushed by namin
2m 43s main
main
2m 43s
check extra CI #4: Commit 413a70f pushed by namin
2m 34s main
main
2m 34s
fix stale dfy, add proofs CI #3: Commit 9b74299 pushed by namin
2m 30s main
main
2m 30s
lake update CI #2: Commit 9797830 pushed by namin
6m 49s main
main
6m 49s
attempt at CI CI #1: Commit 3b3d4c5 pushed by namin
36s main
main
36s