Wrap releases

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

Triggered via pull request October 9, 2023 19:08

fingolfin

synchronize #1449

fingolfin:mh/dist

Status Failure

Total duration 1m 22s

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