Enhance 'make dist', add GitHub release workflow · flintlib/flint@1614047

Triggered via pull request October 12, 2023 15:21

fingolfin

synchronize #1449

fingolfin:mh/dist

Status Cancelled

Total duration 27m 43s

Artifacts 1

release.yml

on: pull_request

1 error

Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/1449/merge-true' exists

Produced during runtime

Name	Size
flint Expired	7.81 MB