Workflow runs · c-cube/mc2 · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2 workflow runs

2 workflow runs

update CI build #24: Commit 9bd73e7 pushed by c-cube

January 1, 2024 02:25

4m 34s main

main

January 1, 2024 02:25

4m 34s

chore: upgrade to menhir 2.0 in dune build #23: Commit 55b8842 pushed by c-cube

January 1, 2024 02:24

9m 51s main

main

January 1, 2024 02:24

9m 51s