Skip to content

Merge branch 'main' into invariant #21

Merge branch 'main' into invariant

Merge branch 'main' into invariant #21

Triggered via push October 30, 2024 14:08
Status Failure
Total duration 4m 55s
Artifacts

rustc.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (ubuntu-latest)
Process completed with exit code 1.
build (macos-latest)
The job was canceled because "ubuntu-latest" failed.
build (macos-latest)
The operation was canceled.