especialize now must ecplicitely cite created evars. #14
MatafouAnnotations
15 errors and 3 warnings
|
test (coqorg/coq:8.18):
LibHyps/LibHypsTactics.v#L17
A left-recursive notation must have an explicit level.
|
|
build (coqorg/coq:8.16):
LibHyps/LibHypsTactics.v#L17
A left-recursive notation must have an explicit level.
|
|
build (coqorg/coq:8.18):
LibHyps/LibHypsTactics.v#L17
A left-recursive notation must have an explicit level.
|
|
test (coqorg/coq:8.16)
The job was canceled because "coqorg_coq_8_18" failed.
|
|
test (coqorg/coq:8.16):
LibHyps/LibHypsTactics.v#L17
A left-recursive notation must have an explicit level.
|
|
test (coqorg/coq:dev)
The job was canceled because "coqorg_coq_8_18" failed.
|
|
test (coqorg/coq:dev)
The operation was canceled.
|
|
build (coqorg/coq:dev)
The job was canceled because "coqorg_coq_8_16" failed.
|
|
build (coqorg/coq:dev)
The operation was canceled.
|
|
test (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_18" failed.
|
|
test (coqorg/coq:8.17):
LibHyps/LibHypsTactics.v#L17
A left-recursive notation must have an explicit level.
|
|
test (coqorg/coq:8.17)
The operation was canceled.
|
|
build (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_16" failed.
|
|
build (coqorg/coq:8.17):
LibHyps/LibHypsTactics.v#L17
A left-recursive notation must have an explicit level.
|
|
build (coqorg/coq:8.17)
The operation was canceled.
|
|
test (coqorg/coq:8.18)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (coqorg/coq:8.16)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (coqorg/coq:8.18)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|