feat(ci/hax): simplify using hacspec/hax-actions
#700
Job | Run time |
---|---|
2m 1s | |
0s | |
1m 53s | |
2m 3s | |
2m 0s | |
2m 1s | |
1m 53s | |
1m 49s | |
1m 47s | |
1s | |
15m 28s |
hacspec/hax-actions
#700
Job | Run time |
---|---|
2m 1s | |
0s | |
1m 53s | |
2m 3s | |
2m 0s | |
2m 1s | |
1m 53s | |
1m 49s | |
1m 47s | |
1s | |
15m 28s |