Skip to content

Build docs using org-wide workflow, change audit #1653

Build docs using org-wide workflow, change audit

Build docs using org-wide workflow, change audit #1653

Triggered via push January 31, 2024 23:53
Status Cancelled
Total duration 8m 14s
Artifacts

build.yaml

on: push
Matrix: check-targets
Matrix: test
Type-check benchmarks
32s
Type-check benchmarks
Cross-build
38s
Cross-build
Formatting
12s
Formatting
Clippy
47s
Clippy
Documentation
29s
Documentation
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Coverage
Process completed with exit code 1.
Test (miri)
Canceling since a higher priority waiting request for 'Build-main' exists
Test (miri)
The operation was canceled.