Skip to content

Merge branch 'main' into coarse_ops #50

Merge branch 'main' into coarse_ops

Merge branch 'main' into coarse_ops #50

Triggered via push November 2, 2023 00:35
Status Failure
Total duration 18s
Artifacts
Matrix: bench-memory
Matrix: bench-perf
Check Credentials for jobs that need JSON credentials
7s
Check Credentials for jobs that need JSON credentials
WASM Demo
0s
WASM Demo
bench-datasize
0s
bench-datasize
bench-binsize
0s
bench-binsize
Docs Preview
0s
Docs Preview
FFI Preview
0s
FFI Preview
Deploy to GitHub Pages
0s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check Credentials for jobs that need JSON credentials
Process completed with exit code 1.