Enhance 'make dist', add GitHub release workflow #1047
Job | Run time |
---|---|
15m 33s | |
33m 1s | |
36m 4s | |
16m 45s | |
17m 58s | |
45m 5s | |
28m 57s | |
14m 10s | |
22m 32s | |
13m 23s | |
4h 3m 28s |
Job | Run time |
---|---|
15m 33s | |
33m 1s | |
36m 4s | |
16m 45s | |
17m 58s | |
45m 5s | |
28m 57s | |
14m 10s | |
22m 32s | |
13m 23s | |
4h 3m 28s |