Adapt to https://github.com/coq/coq/pull/19530 #134
Triggered via pull request
September 18, 2024 08:12
JasonGross
Status
Cancelled
Total duration
13m 42s
Artifacts
–
coq.yml
on: pull_request
Matrix: build
docker-check-all
0s
Annotations
21 errors and 29 warnings
|
docker-8.15
Canceling since a higher priority waiting request for 'CI (Coq)-8.15-stdlib_repo' exists
|
|
docker-8.12
Canceling since a higher priority waiting request for 'CI (Coq)-8.12-stdlib_repo' exists
|
|
docker-8.12
The operation was canceled.
|
|
docker-8.15
The operation was canceled.
|
|
docker-8.18-native
Canceling since a higher priority waiting request for 'CI (Coq)-8.18-native-stdlib_repo' exists
|
|
docker-8.18-native
The operation was canceled.
|
|
docker-dev-native
Canceling since a higher priority waiting request for 'CI (Coq)-dev-native-stdlib_repo' exists
|
|
docker-dev-native
The operation was canceled.
|
|
docker-8.17-native
Canceling since a higher priority waiting request for 'CI (Coq)-8.17-native-stdlib_repo' exists
|
|
docker-8.17-native
The operation was canceled.
|
|
docker-8.16-native
Canceling since a higher priority waiting request for 'CI (Coq)-8.16-native-stdlib_repo' exists
|
|
docker-8.16-native
The operation was canceled.
|
|
docker-8.14
Canceling since a higher priority waiting request for 'CI (Coq)-8.14-stdlib_repo' exists
|
|
docker-8.14
The operation was canceled.
|
|
docker-8.19-native
Canceling since a higher priority waiting request for 'CI (Coq)-8.19-native-stdlib_repo' exists
|
|
docker-8.19-native
The operation was canceled.
|
|
docker-8.11
Canceling since a higher priority waiting request for 'CI (Coq)-8.11-stdlib_repo' exists
|
|
docker-8.11
The operation was canceled.
|
|
docker-8.13
Canceling since a higher priority waiting request for 'CI (Coq)-8.13-stdlib_repo' exists
|
|
docker-8.13
The operation was canceled.
|
|
docker-check-all
Process completed with exit code 1.
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-8.15
native_compute disabled at configure time; falling back to
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
Unused variable: v.
|
|
docker-dev-native
Unused variable: v.
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-dev-native
"From Coq" has been replaced by "From Stdlib".
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.14
native_compute disabled at configure time; falling back to
|
|
docker-8.11
There is no option NativeCompute Timing.
|