Skip to content
CI (Coq, docker)

Bump etc/coq-scripts from bf7754a to fdfd924 #134

Sign in to view logs

Bump etc/coq-scripts from bf7754a to fdfd924

Bump etc/coq-scripts from bf7754a to fdfd924 #134

Triggered via pull request March 5, 2025 08:19
@dependabotdependabot[bot]
opened #170
dependabot/submodules/etc/coq-scripts-fdfd924
Status Success
Total duration 4h 30m 34s
Artifacts –

coq-docker.yml

on: pull_request
Matrix: build-docker
docker-check-all
2s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/SieveOfEratosthenes/_1_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.
build-docker (dev, --warnings): ./src/Rewriter/Rewriter/Examples/PerfTesting/LiftLetsMap/_4_Sanity.v#L3
native_compute disabled at configure time; falling back to vm_compute.