Skip to content
Release

Try to fetch tags with the GitHub action checkout #13

Sign in to view logs

Try to fetch tags with the GitHub action checkout

Try to fetch tags with the GitHub action checkout #13

Triggered via push November 3, 2023 10:22
@HalbarothHalbaroth
pushed 05a04a7
dune-release-artefact
Status Success
Total duration 9m 29s
Artifacts 1

release.yml

on: push
dune_release
9m 17s
dune_release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
alt-ergo-dune-release-artefact.tbz Expired
2.66 MB