State machine prover #7375
ci.yaml
on: pull_request
Matrix: run-avx-tests
format
14s
clippy
18s
run-wasm32-wasi-tests
53s
run-neon-tests
29s
run-tests
34s
run-slow-tests
56s
udeps
17s
doc
46s
run-wasm32-unknown-tests
34s
run-avx512-bench
17m 49s
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/
|