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

Sign in to view logs

Triggered via pull request October 13, 2023 13:01

fingolfin

synchronize #1449

fingolfin:mh/dist

Status Success

Total duration 19m 2s

Artifacts 1

release.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
flint Expired	27.1 MB