Wrap releases

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

Triggered via pull request October 9, 2023 16:05

fingolfin

synchronize #1449

fingolfin:mh/dist

Status Failure

Total duration 51m 34s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

release.yml

on: pull_request

1 error

Process completed with exit code 127.

Produced during runtime

Name	Size
flint Expired	8.03 MB