Skip to content

Actions: Halbaroth/alt-ergo

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use the current commit for the name of the artefact Release #16: Commit 821fb41 pushed by Halbaroth
November 30, 2023 15:05 5m 0s dune-release-artefact
dune-release-artefact
November 30, 2023 15:05 5m 0s
Try to fetch tags with the GitHub action checkout Release #15: Commit 4e5369d pushed by Halbaroth
November 30, 2023 14:50 10m 4s dune-release-artefact
dune-release-artefact
November 30, 2023 14:50 10m 4s
Try to fetch tags with the GitHub action checkout Release #14: Commit 71242cd pushed by Halbaroth
November 30, 2023 14:31 9m 17s dune-release-artefact
dune-release-artefact
November 30, 2023 14:31 9m 17s
Try to fetch tags with the GitHub action checkout Release #13: Commit 05a04a7 pushed by Halbaroth
November 3, 2023 10:22 9m 29s dune-release-artefact
dune-release-artefact
November 3, 2023 10:22 9m 29s
Try to fetch tags with the GitHub action checkout Release #12: Commit 8b3c143 pushed by Halbaroth
November 3, 2023 09:55 7m 50s dune-release-artefact
dune-release-artefact
November 3, 2023 09:55 7m 50s
Use the latest tag on the branch in the tarball Release #11: Commit e9e86ef pushed by Halbaroth
November 2, 2023 17:14 4m 51s dune-release-artefact
dune-release-artefact
November 2, 2023 17:14 4m 51s
Use the prelease of opam Release #10: Commit 67ce366 pushed by Halbaroth
November 2, 2023 16:44 12m 2s v2.6.0
v2.6.0
November 2, 2023 16:44 12m 2s
Use the prelease of opam Release #9: Commit 67ce366 pushed by Halbaroth
November 2, 2023 16:16 8m 6s dune-release-artefact
dune-release-artefact
November 2, 2023 16:16 8m 6s
Use the prelease of opam Release #8: Commit bec13a8 pushed by Halbaroth
November 2, 2023 16:02 6m 19s dune-release-artefact
dune-release-artefact
November 2, 2023 16:02 6m 19s
Use the prelease of opam Release #7: Commit ae1cf49 pushed by Halbaroth
October 30, 2023 15:54 12m 0s dune-release-artefact
dune-release-artefact
October 30, 2023 15:54 12m 0s
Use the prelease of opam Release #6: Commit 64b9b46 pushed by Halbaroth
October 30, 2023 15:52 13m 2s dune-release-artefact
dune-release-artefact
October 30, 2023 15:52 13m 2s
Use the prelease of opam Release #5: Commit 07f4b1d pushed by Halbaroth
October 30, 2023 09:47 6m 53s dune-release-artefact
dune-release-artefact
October 30, 2023 09:47 6m 53s
Trigger the workflow Release #4: Commit 9549d36 pushed by Halbaroth
September 21, 2023 09:35 7m 30s v2.6.0
v2.6.0
September 21, 2023 09:35 7m 30s
Trigger the workflow Release #3: Commit 9549d36 pushed by Halbaroth
September 19, 2023 09:30 6m 54s dune-release-artefact
dune-release-artefact
September 19, 2023 09:30 6m 54s
Trigger the workflow Release #2: Commit f80103d pushed by Halbaroth
September 19, 2023 09:18 7m 34s dune-release-artefact
dune-release-artefact
September 19, 2023 09:18 7m 34s
Test the workflow on this PR Release #1: Commit bc07c20 pushed by Halbaroth
September 19, 2023 08:51 7m 17s dune-release-artefact
dune-release-artefact
September 19, 2023 08:51 7m 17s