Add gq
for Github Actions, other tweaks
#387
Job | Run time |
---|---|
12m 30s | |
15s | |
12m 45s |
gq
for Github Actions, other tweaks
#387
Job | Run time |
---|---|
12m 30s | |
15s | |
12m 45s |