Skip to content
CI

CI #193

Sign in to view logs

CI

CI #193

Triggered via schedule March 26, 2024 08:13
@tchajedtchajed
⁠ d7784e7
master
Status Failure
Total duration 1m 23s
Artifacts –

build.yml

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

Annotations

2 warnings
build (dev): src/Bidirectional.v#L1
Using Vector.t is known to be technically difficult, see
build (dev): src/RewNotation.v#L4
Alternatives to Fin.t are available, see