Skip to content
CI (Coq, docker)

Work around issue with -I #130

Sign in to view logs

Work around issue with -I

Work around issue with -I #130

Triggered via push January 29, 2025 01:19
@JasonGrossJasonGross
pushed 3c0618f
master
Status Success
Total duration 9m 20s
Artifacts –

coq-docker.yml

on: push
Matrix: build-docker
docker-check-all
0s
docker-check-all
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
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.
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.