Enhance 'make dist', add GitHub release workflow #26

Sign in to view logs

Triggered via pull request October 13, 2023 08:46

fingolfin

synchronize #1449

fingolfin:mh/dist

Status Success

Total duration 18m 28s

Artifacts 1

release.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
flint Expired	27.1 MB