Skip to content
ci

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

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… #6

Triggered via push December 19, 2023 16:47
@JOSHCLUNEJOSHCLUNE
pushed b2db928
duper
Status Skipped
Total duration 3s
Artifacts –

build.yml

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