State machine prover #7416
ci.yaml
on: pull_request
Matrix: run-avx-tests
format
18s
clippy
15s
run-wasm32-wasi-tests
18s
run-neon-tests
25s
run-tests
14s
run-slow-tests
15s
machete
1m 7s
doc
42s
run-wasm32-unknown-tests
18s
run-avx512-bench
2m 46s
all-tests
0s
Annotations
10 errors and 1 warning
run-slow-tests
Process completed with exit code 101.
|
run-tests
Process completed with exit code 101.
|
clippy
Process completed with exit code 101.
|
run-wasm32-unknown-tests
Process completed with exit code 1.
|
run-wasm32-wasi-tests
Process completed with exit code 101.
|
run-neon-tests
Process completed with exit code 101.
|
run-avx-tests (avx512f)
Process completed with exit code 101.
|
run-avx-tests (avx2)
The job was canceled because "avx512f" failed.
|
run-avx-tests (avx2)
The operation was canceled.
|
run-avx512-bench
No benchmark result was found in /home/runner/_work/stwo/stwo/output.txt. Benchmark output was ''
|
run-wasm32-unknown-tests
The following actions use a deprecated Node.js version and will be forced to run on node20: jetli/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|