Skip to content
CI (Coq)

Adapt to coq/coq#20150 (more aggressive minimization) #434

Sign in to view logs

Adapt to coq/coq#20150 (more aggressive minimization)

Adapt to coq/coq#20150 (more aggressive minimization) #434

Triggered via pull request January 29, 2025 13:38
@SkySkimmerSkySkimmer
opened #126
SkySkimmer:clean-univ-set
Status Failure
Total duration 5m 8s
Artifacts –

coq.yml

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

Annotations

2 errors
8.18.0: src/coqutil/Word/LittleEndian.v#L42
Universe instance length is 2 but should be 3.
8.18.0
Process completed with exit code 2.