Update GitHub Actions workflows. #2937
Job | Run time |
---|---|
15s | |
8m 27s | |
0s | |
1m 42s | |
45s | |
55s | |
39s | |
1m 33s | |
19m 52s | |
12m 28s | |
6m 35s | |
13m 4s | |
8m 52s | |
0s | |
1h 15m 7s |
Job | Run time |
---|---|
15s | |
8m 27s | |
0s | |
1m 42s | |
45s | |
55s | |
39s | |
1m 33s | |
19m 52s | |
12m 28s | |
6m 35s | |
13m 4s | |
8m 52s | |
0s | |
1h 15m 7s |