Skip to content

Actions: dune-universe/opam-overlays

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add cmdliner.1.3.0 CI #67: Pull request #218 opened by WardBrian
December 16, 2024 17:13 Action required WardBrian:+cmdliner.1.3.0
WardBrian:+cmdliner.1.3.0
December 16, 2024 17:13 Action required
Merge pull request #216 from dune-universe/received.0.8.1+overlays CI #65: Commit f2bec38 pushed by dinosaure
September 20, 2024 08:50 9m 33s master
master
September 20, 2024 08:50 9m 33s
Add received.0.8.1+overlays to let opam-monorepo to download the last version of colombe CI #64: Pull request #216 opened by dinosaure
September 20, 2024 08:16 9m 34s received.0.8.1+overlays
received.0.8.1+overlays
September 20, 2024 08:16 9m 34s
Merge pull request #214 from shym/lwt_ppx CI #63: Commit aa5f09b pushed by samoht
June 24, 2024 07:32 9m 52s master
master
June 24, 2024 07:32 9m 52s
Merge pull request #181 from dune-universe/fix-ci CI #61: Commit 4e75ee3 pushed by samoht
February 13, 2024 13:22 11m 37s master
master
February 13, 2024 13:22 11m 37s
Merge pull request #212 from hannesm/carton-0.7.1 CI #60: Commit a60e38c pushed by samoht
February 13, 2024 13:19 1s master
master
February 13, 2024 13:19 1s
add cartion 0.7.1 to use the git 3.15 tarball CI #59: Pull request #212 opened by hannesm
February 13, 2024 10:36 1s hannesm:carton-0.7.1
hannesm:carton-0.7.1
February 13, 2024 10:36 1s
Merge pull request #211 from dune-universe/colombe CI #58: Commit 13048e6 pushed by dinosaure
January 24, 2024 08:59 1s master
master
January 24, 2024 08:59 1s
Add an overlay suffix for the colombe distribution CI #57: Pull request #211 synchronize by dinosaure
January 23, 2024 21:38 1s colombe
colombe
January 23, 2024 21:38 1s
Add an overlay suffix for the colombe distribution CI #56: Pull request #211 opened by dinosaure
January 23, 2024 14:49 1s colombe
colombe
January 23, 2024 14:49 1s
[new release] zarith (1.13+dune) CI #55: Pull request #206 synchronize by tmattio
November 6, 2023 15:34 1s tmattio:release-zarith-v1.13+dune
tmattio:release-zarith-v1.13+dune
November 6, 2023 15:34 1s
[new release] zarith (1.13+dune) CI #54: Pull request #206 synchronize by tmattio
November 6, 2023 15:24 1s tmattio:release-zarith-v1.13+dune
tmattio:release-zarith-v1.13+dune
November 6, 2023 15:24 1s
[new release] cmdliner (1.2.0+dune) (#210) CI #53: Commit 91a3717 pushed by tmattio
November 6, 2023 15:16 Startup failure master
master
November 6, 2023 15:16 Startup failure
[new release] brr (0.0.6+dune) (#205) CI #52: Commit 7c900a9 pushed by tmattio
November 6, 2023 15:16 1s master
master
November 6, 2023 15:16 1s
[new release] uucp (15.1.0+dune) (#207) CI #51: Commit f5a95a0 pushed by tmattio
November 6, 2023 15:16 Startup failure master
master
November 6, 2023 15:16 Startup failure
[new release] uunf (15.1.0+dune) (#208) CI #50: Commit 3ad7b6f pushed by tmattio
November 6, 2023 15:15 Startup failure master
master
November 6, 2023 15:15 Startup failure
[new release] uuseg (15.1.0+dune) (#209) CI #49: Commit 96f4ae4 pushed by tmattio
November 6, 2023 15:15 1s master
master
November 6, 2023 15:15 1s
[new release] cmdliner (1.2.0+dune) CI #48: Pull request #210 opened by tmattio
November 5, 2023 17:27 1s tmattio:release-cmdliner-v1.2.0+dune
tmattio:release-cmdliner-v1.2.0+dune
November 5, 2023 17:27 1s
[new release] uuseg (15.1.0+dune) CI #47: Pull request #209 opened by tmattio
November 5, 2023 17:22 1s tmattio:release-uuseg-v15.1.0+dune
tmattio:release-uuseg-v15.1.0+dune
November 5, 2023 17:22 1s
[new release] uunf (15.1.0+dune) CI #46: Pull request #208 opened by tmattio
November 5, 2023 17:21 1s tmattio:release-uunf-v15.1.0+dune
tmattio:release-uunf-v15.1.0+dune
November 5, 2023 17:21 1s
[new release] uucp (15.1.0+dune) CI #45: Pull request #207 opened by tmattio
November 5, 2023 17:20 1s tmattio:release-uucp-v15.1.0+dune
tmattio:release-uucp-v15.1.0+dune
November 5, 2023 17:20 1s
[new release] zarith (1.13+dune) CI #44: Pull request #206 opened by tmattio
November 5, 2023 17:18 1s tmattio:release-zarith-v1.13+dune
tmattio:release-zarith-v1.13+dune
November 5, 2023 17:18 1s
[new release] brr (0.0.6+dune) CI #43: Pull request #205 opened by tmattio
November 5, 2023 17:15 1s tmattio:release-brr-v0.0.6+dune
tmattio:release-brr-v0.0.6+dune
November 5, 2023 17:15 1s
Merge pull request #198 from hannesm/carton-0.7.0 CI #42: Commit 24ca14c pushed by samoht
October 12, 2023 10:50 Startup failure master
master
October 12, 2023 10:50 Startup failure
add carton 0.7.0, using the git 3.14 tarball CI #41: Pull request #198 opened by hannesm
October 7, 2023 12:00 1s hannesm:carton-0.7.0
hannesm:carton-0.7.0
October 7, 2023 12:00 1s