Skip to content

Actions: Anastasia-Labs/coq-uplc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert GitHub workflow to standard dune build Build #7: Commit 3062e03 pushed by mpetruska
August 8, 2024 19:39 5m 29s main
main
August 8, 2024 19:39 5m 29s
Add workaround for docker coq build Build #6: Commit 8266fb9 pushed by mpetruska
August 8, 2024 19:06 1m 59s main
main
August 8, 2024 19:06 1m 59s
Test dockerized build on GitHub Build #5: Commit f01eb1f pushed by mpetruska
August 8, 2024 18:49 2m 0s main
main
August 8, 2024 18:49 2m 0s
Update dune build with latest opam packages Build #4: Commit 06a13b9 pushed by mpetruska
August 8, 2024 18:40 5m 17s main
main
August 8, 2024 18:40 5m 17s
Build Build #3: Manually run by mpetruska
August 6, 2024 22:33 5m 19s main
main
August 6, 2024 22:33 5m 19s
Drop unneeded build matrix items Build #2: Commit 5b10b73 pushed by mpetruska
August 6, 2024 22:27 5m 32s main
main
August 6, 2024 22:27 5m 32s
Initial project setup Build #1: Commit d847cb5 pushed by mpetruska
August 6, 2024 22:13 8m 54s main
main
August 6, 2024 22:13 8m 54s