Enhance 'make dist', add GitHub release workflow #22
Triggered via pull request
October 12, 2023 15:49
fingolfin
Status
Cancelled
Total duration
6m 40s
Artifacts
–
Annotations
1 error
|
make-archive
Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/1449/merge-true' exists
|