Removed a few tests that don't work on coq<8.18. #17
MatafouAnnotations
20 errors and 2 warnings
|
build (coqorg/coq:8.16)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
build (coqorg/coq:8.16)
The operation was canceled.
|
|
build (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
build (coqorg/coq:8.17)
The operation was canceled.
|
|
build (coqorg/coq:dev)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
build (coqorg/coq:dev)
The operation was canceled.
|
|
test (coqorg/coq:8.16)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:8.16)
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.
|
|
test (coqorg/coq:8.19)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:8.19)
The operation was canceled.
|
|
test (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
test (coqorg/coq:8.17)
The operation was canceled.
|
|
build (coqorg/coq:8.19)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
build (coqorg/coq:8.19)
The operation was canceled.
|
|
build (coqorg/coq:8.18)
The job was canceled because "coqorg_coq_8_20" failed.
|
|
build (coqorg/coq:8.18)
The operation was canceled.
|
|
build (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.20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|