Skip to content

Actions: sp1ff/ob-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cut release 0.0.8. ob-coq Continuous Integration #15: Commit a8160c6 pushed by sp1ff
1m 20s 0.0.8
0.0.8
1m 20s
ob-coq Continuous Integration ob-coq Continuous Integration #14: Manually run by sp1ff
1m 22s master
master
1m 22s
Cut release 0.0.8. ob-coq Continuous Integration #13: Commit a8160c6 pushed by sp1ff
1m 19s master
master
1m 19s
Cut release 0.0.8. ob-coq Continuous Integration #12: Commit a8160c6 pushed by sp1ff
1m 33s 2025-06-refresh
2025-06-refresh
1m 33s
Updating copyrights & INSTALL ob-coq Continuous Integration #11: Commit 2d83b3f pushed by sp1ff
1m 27s 2025-06-refresh
2025-06-refresh
1m 27s