State machine prover #7361
ci.yaml
on: pull_request
Matrix: run-avx-tests
format
16s
clippy
24s
run-wasm32-wasi-tests
54s
run-neon-tests
30s
run-tests
37s
run-slow-tests
1m 1s
udeps
17s
doc
41s
run-wasm32-unknown-tests
43s
run-avx512-bench
17m 30s
all-tests
2s
Annotations
1 warning
run-wasm32-unknown-tests
The following actions use a deprecated Node.js version and will be forced to run on node20: jetli/wasm-pack-action@v0.4.0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|