Fix fir older coq versions. #15
MatafouAnnotations
20 errors and 3 warnings
|
test (coqorg/coq:8.16)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:8.16):
LibHyps/LibHypsRegression.v#L493
The command has not failed!
|
|
test (coqorg/coq:8.16)
The operation was canceled.
|
|
build (coqorg/coq:8.20)
The job was canceled because "coqorg_coq_8_19" failed.
|
|
build (coqorg/coq:8.20)
The operation was canceled.
|
|
build (coqorg/coq:8.16)
The job was canceled because "coqorg_coq_8_19" failed.
|
|
build (coqorg/coq:8.16)
The operation was canceled.
|
|
test (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:8.17):
LibHyps/LibHypsRegression.v#L493
The command has not failed!
|
|
test (coqorg/coq:8.17)
The operation was canceled.
|
|
build (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_19" failed.
|
|
build (coqorg/coq:8.17)
The operation was canceled.
|
|
test (coqorg/coq:8.18)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:8.18)
The operation was canceled.
|
|
test (coqorg/coq:dev)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:dev)
The operation was canceled.
|
|
build (coqorg/coq:dev)
The job was canceled because "coqorg_coq_8_19" failed.
|
|
build (coqorg/coq:dev)
The operation was canceled.
|
|
build (coqorg/coq:8.18)
The job was canceled because "coqorg_coq_8_19" failed.
|
|
build (coqorg/coq:8.18)
The operation was canceled.
|
|
build (coqorg/coq:8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coqorg/coq:8.20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (coqorg/coq:8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|