Skip to content

Actions: dune-universe/Zarith

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add base-unix as a dependency in opam CI #50: Commit 567515d pushed by tmattio
November 6, 2023 15:34 48s duniverse-v1.13
duniverse-v1.13
November 6, 2023 15:34 48s
Dunify the build CI #49: Commit 82de3e1 pushed by tmattio
November 5, 2023 17:17 48s v1.13+dune
v1.13+dune
November 5, 2023 17:17 48s
Merge pull request #144 from hhugo/jsoo-doc CI #48: Commit 9b19c59 pushed by tmattio
November 5, 2023 17:08 1m 9s master
master
November 5, 2023 17:08 1m 9s
Dunify the build CI #47: Commit 82de3e1 pushed by tmattio
November 5, 2023 16:48 48s duniverse-v1.13
duniverse-v1.13
November 5, 2023 16:48 48s
Dunify the build CI #46: Commit d64f883 pushed by tmattio
November 5, 2023 16:47 50s duniverse-v1.13
duniverse-v1.13
November 5, 2023 16:47 50s