State machine prover #7305
shaharsamocha7ci.yaml
on: pull_request
Matrix: run-avx-tests
format
16s
clippy
13s
run-wasm32-wasi-tests
18s
run-neon-tests
19s
run-tests
16s
run-slow-tests
13s
udeps
21s
doc
42s
run-wasm32-unknown-tests
17s
run-avx512-bench
2m 39s
all-tests
0s
Annotations
10 errors and 1 warning
|
clippy
Process completed with exit code 101.
|
|
run-slow-tests
Process completed with exit code 101.
|
|
run-tests
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/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/
|