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

Sign in to view logs

Triggered via pull request October 13, 2023 07:31

fingolfin

synchronize #1449

fingolfin:mh/dist

Status Success

Total duration 23m 6s

Artifacts 1

release.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
flint Expired	27.1 MB