Skip to content
Release

Try to fetch tags with the GitHub action checkout #15

Sign in to view logs

Try to fetch tags with the GitHub action checkout

Try to fetch tags with the GitHub action checkout #15

Triggered via push November 30, 2023 14:50
@HalbarothHalbaroth
pushed 4e5369d
dune-release-artefact
Status Success
Total duration 10m 4s
Artifacts 1

release.yml

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

Artifacts

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