Enhance 'make dist', add GitHub release workflow #23
Triggered via pull request
October 12, 2023 15:55
fingolfin
Status
Success
Total duration
1h 20m 52s
Artifacts
1
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
flint
Expired
|
27.1 MB |
|