Skip to content
CI (Coq, docker)

[CI] also test opam packages, including perf #128

Sign in to view logs

[CI] also test opam packages, including perf

[CI] also test opam packages, including perf #128

Triggered via push January 28, 2025 20:22
@JasonGrossJasonGross
pushed ef98e7d
master
Status Success
Total duration 48m 40s
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.