Skip to content
CI

Fix fir older coq versions. #15

Sign in to view logs

Fix fir older coq versions.

Fix fir older coq versions. #15

Annotations

2 errors

build (coqorg/coq:8.16)

build (coqorg/coq:8.16)
cancelled Dec 19, 2024 in 2m 5s