Enhance 'make dist', add GitHub release workflow #17
Triggered via pull request
October 11, 2023 13:20
fingolfin
Status
Cancelled
Total duration
13m 42s
Artifacts
–
release.yml
on: pull_request
make-archive
0s
upload-archive
0s
Annotations
1 error
|
make-archive
Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/1449/merge-true' exists
|