Skip to content
ci

Updated to lean v4.4.0-rc1 but temporarily removed bitvector function… #7

Sign in to view logs

Updated to lean v4.4.0-rc1 but temporarily removed bitvector function…

Updated to lean v4.4.0-rc1 but temporarily removed bitvector function… #7

Triggered via push December 19, 2023 17:37
@JOSHCLUNEJOSHCLUNE
pushed b2db928
v0.0.3
Status Failure
Total duration 7m 55s
Artifacts –

build.yml

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

Annotations

3 errors
Build on Ubuntu
Process completed with exit code 2.
Build on Windows
Process completed with exit code 2.
Build on macOS
Process completed with exit code 1.