Skip to content
CI

Fixed a few comments in the demo. #20

Sign in to view logs

Fixed a few comments in the demo.

Fixed a few comments in the demo. #20

Triggered via push December 20, 2024 09:31
@MatafouMatafou
pushed f39fd1e
master
Status Failure
Total duration 2m 34s
Artifacts –

ci-libhyps.yml

on: push
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 19 warnings
test (coqorg/coq:8.16): LibHyps/LibHypsRegression.v#L168
No such assumption.
test (coqorg/coq:8.19): LibHyps/LibHypsRegression.v#L168
No such assumption.
test (coqorg/coq:8.17)
The job was canceled because "coqorg_coq_8_16" failed.
test (coqorg/coq:8.17): LibHyps/LibHypsRegression.v#L168
No such assumption.
test (coqorg/coq:8.18)
The job was canceled because "coqorg_coq_8_16" failed.
test (coqorg/coq:8.18): LibHyps/LibHypsRegression.v#L168
No such assumption.
test (coqorg/coq:8.20)
The job was canceled because "coqorg_coq_8_16" failed.
test (coqorg/coq:8.20): LibHyps/LibHypsRegression.v#L168
No such assumption.
test (coqorg/coq:8.20)
The operation was canceled.
test (coqorg/coq:dev)
The job was canceled because "coqorg_coq_8_16" failed.
test (coqorg/coq:dev)
The operation was canceled.
test (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
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
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
test (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
test (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
test (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
test (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L17
Loading Stdlib without prefix is deprecated.
test (coqorg/coq:dev): LibHyps/LibHypsTest.v#L5
Loading Stdlib without prefix is deprecated.
test (coqorg/coq:dev): LibHyps/LibHypsTest.v#L5
Loading Stdlib without prefix is deprecated.
test (coqorg/coq:dev): LibHyps/LibHypsTest.v#L5
Loading Stdlib without prefix is deprecated.
build (coqorg/coq:8.17)
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.19)
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.20)
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
build (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
build (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
build (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
build (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
build (coqorg/coq:dev): LibHyps/LibHypsNaming.v#L17
Loading Stdlib without prefix is deprecated.