Skip to content

Actions: epfl-systemf/StrictOrderSolver

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
15 workflow runs
15 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
Update readme to reflect official release CI #15: Commit 9a43aaa pushed by shilangyu
5m 22s main
main
5m 22s
Add publishing script CI #14: Commit f00c2d5 pushed by shilangyu
5m 25s main
main
5m 25s
Add 9.2 to CI CI #13: Commit ada2bba pushed by shilangyu
5m 35s main
main
5m 35s
Test: CD CI #12: Commit c20d190 pushed by shilangyu
1m 1s main
main
1m 1s
Test: CD CI #11: Commit 97ef18c pushed by shilangyu
15s main
main
15s
Test: CD CI #10: Commit cc2396f pushed by shilangyu
22s main
main
22s
Test: CD CI #9: Commit 9429443 pushed by shilangyu
1m 48s main
main
1m 48s
Add 9.2 to CI CI #8: Commit ada2bba pushed by shilangyu
29m 2s main
main
29m 2s
Prevent hard fails during failed proofs CI #7: Commit c2c6b1f pushed by shilangyu
5m 16s main
main
5m 16s
Fix finding cycles when looking for paths CI #6: Commit 6f8de4a pushed by shilangyu
5m 21s main
main
5m 21s
Support Ltac1 CI #5: Commit 9a07e8c pushed by shilangyu
5m 18s main
main
5m 18s
Add README CI #4: Commit 4ecff7b pushed by shilangyu
8m 45s main
main
8m 45s
Add README CI #3: Commit 1a0e3d2 pushed by shilangyu
5m 13s main
main
5m 13s
Bump Rocq version CI #2: Commit a85f496 pushed by shilangyu
5m 23s main
main
5m 23s
Add CI CI #1: Commit c246403 pushed by shilangyu
8m 42s main
main
8m 42s