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

3 errors

test (coqorg/coq:8.16)

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