Skip to content

Bump actions/download-artifact and actions/upload-artifact from 3 to 4 #556

Bump actions/download-artifact and actions/upload-artifact from 3 to 4

Bump actions/download-artifact and actions/upload-artifact from 3 to 4 #556

Triggered via pull request December 15, 2023 15:36
Status Success
Total duration 3h 36m 43s
Artifacts 12

coq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

92 warnings
build (8.9)
There is no option NativeCompute Timing.
build (8.9)
There is no option NativeCompute Timing.
build (dev)
Unused variable nlimbs might be a misspelled constructor. Use _ or
build (dev)
native_compute disabled at configure time; falling back to
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (dev)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
Unused variable nlimbs might be a misspelled constructor. Use _ or
build (8.18)
native_compute disabled at configure time; falling back to
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.18)
native_compute disabled at configure time; falling back to vm_compute.
build (8.8)
There is no option NativeCompute Timing.
build (8.8)
There is no option NativeCompute Timing.
build (8.16)
Unused variable nlimbs catches more than one case.
build (8.16)
native_compute disabled at configure time; falling back to
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
build (8.16)
native_compute disabled at configure time; falling back to vm_compute.
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.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.17)
Unused variable nlimbs might be a misspelled constructor. Use _ or
build (8.17)
native_compute disabled at configure time; falling back to
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
build (8.17)
native_compute disabled at configure time; falling back to vm_compute.
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)
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.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.

Artifacts

Produced during runtime
Name Size
8.10 Expired
13.9 MB
8.11 Expired
17.3 MB
8.12 Expired
17 MB
8.13 Expired
16.3 MB
8.14 Expired
16.2 MB
8.15 Expired
16.6 MB
8.16 Expired
16.1 MB
8.17 Expired
16.5 MB
8.18 Expired
16.6 MB
8.8 Expired
13.4 MB
8.9 Expired
13.5 MB
dev Expired
16.4 MB