CI (Coq) #604
JasonGrossAnnotations
82 warnings
|
build (8.18-native)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.18-native)
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
|
build (8.19-native)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.19-native)
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
|
build (8.16-native)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.16-native)
Unused variable nlimbs catches more than one case.
|
|
build (dev-native)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
Loading Stdlib without prefix is deprecated.
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (8.8)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.8)
There is no option NativeCompute Timing.
|
|
build (8.8)
There is no option NativeCompute Timing.
|
|
build (8.10)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.13)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.13)
Unused variable nlimbs catches more than one case.
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
native_compute disabled at configure time; falling back to
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.13)
native_compute disabled at configure time; falling back to vm_compute.
|
|
build (8.15)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.15)
Unused variable nlimbs catches more than one case.
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
native_compute disabled at configure time; falling back to
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.15)
native_compute disabled at configure time; falling back to vm_compute.
|
|
build (8.12)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.17-native)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.17-native)
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
|
build (8.14)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.14)
Unused variable nlimbs catches more than one case.
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
native_compute disabled at configure time; falling back to
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.14)
native_compute disabled at configure time; falling back to vm_compute.
|
|
build (8.9)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.9)
There is no option NativeCompute Timing.
|
|
build (8.9)
There is no option NativeCompute Timing.
|
|
build (8.11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
check-all
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
deploy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
deploy-history
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
8.10
Expired
|
13.3 MB |
sha256:0803c0d16fb8799115ea2b141f22ab35314c73806a7112690fd5bf8504b70551
|
|
|
8.11
Expired
|
16.8 MB |
sha256:4c03b5f77f64ae6053d6ea8d47ba51b44f8bebab5fa7e1e58d77ed8b5f95d800
|
|
|
8.12
Expired
|
17.5 MB |
sha256:4983e5f0d67466d11943a2524fee34baa95fea349e88316f1b9ba8a885848557
|
|
|
8.13
Expired
|
16.4 MB |
sha256:27df2c43e47e24c6b26099ac23610a4cfa31616fac2ec5da5f330c595b3c31c2
|
|
|
8.14
Expired
|
16.6 MB |
sha256:edb240963fe69e639df9998c9fd4fb83a84e859d9c10f71d3304e68b642da4c0
|
|
|
8.15
Expired
|
16.2 MB |
sha256:15b41979e2358c4a760b1b084daf6f12542ba605f6b7517c5b73d061239bebe7
|
|
|
8.16-native
Expired
|
16.8 MB |
sha256:5a43659ea4549688f34dcfff8c83bef3e7f155c93b48ec6c3a5798fead03cb04
|
|
|
8.17-native
Expired
|
17.3 MB |
sha256:de1d795a92463bf83938db701a50d1061eecffe86b1c326084757b4f478b37ee
|
|
|
8.18-native
Expired
|
17.4 MB |
sha256:b01466b9b5e97e006c1b51f23d9a8e7e1cfe68382f14389ac92e47e88731cbdc
|
|
|
8.19-native
Expired
|
16.9 MB |
sha256:0af0ab5d75e7e691418c985de14cf9ddf5e1f2921893864d38108e654b9339df
|
|
|
8.8
Expired
|
13.3 MB |
sha256:af5388de2afdde431026a4f9613f23f60d5181f5f5e75c2d710cec61dd3454a8
|
|
|
8.9
Expired
|
12.9 MB |
sha256:b679e0e7ff9518cdd3f78d7b4761e56ad1fc6b0576a86009a32491491d9aa1a8
|
|
|
dev-native
Expired
|
17.3 MB |
sha256:3cd90c0f34ce0e73e4c52739ca7d919c787f59abffc13c0a0ddeb228b80cb1cb
|
|