Skip to content

Actions: dune-universe/Zarith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build build #12: Scheduled
January 8, 2024 01:52 9m 1s master
master
January 8, 2024 01:52 9m 1s
build build #11: Scheduled
January 1, 2024 01:57 8m 32s master
master
January 1, 2024 01:57 8m 32s
build build #10: Scheduled
December 25, 2023 01:50 13m 2s master
master
December 25, 2023 01:50 13m 2s
build build #9: Scheduled
December 18, 2023 01:52 9m 8s master
master
December 18, 2023 01:52 9m 8s
build build #8: Scheduled
December 11, 2023 01:52 12m 42s master
master
December 11, 2023 01:52 12m 42s
build build #7: Scheduled
December 4, 2023 01:52 16m 33s master
master
December 4, 2023 01:52 16m 33s
build build #6: Scheduled
November 27, 2023 01:51 13m 8s master
master
November 27, 2023 01:51 13m 8s
build build #5: Scheduled
November 20, 2023 01:52 19m 30s master
master
November 20, 2023 01:52 19m 30s
build build #4: Scheduled
November 13, 2023 01:50 12m 22s master
master
November 13, 2023 01:50 12m 22s
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
build build #3: Scheduled
November 6, 2023 01:49 14m 39s master
master
November 6, 2023 01:49 14m 39s
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 build #2: Commit 9b19c59 pushed by tmattio
November 5, 2023 17:08 28m 0s master
master
November 5, 2023 17:08 28m 0s
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