Skip to content
CI (Coq, Windows)

Replace coq_makefile with Makefile.composed #5434

Sign in to view logs

Replace coq_makefile with Makefile.composed

Replace coq_makefile with Makefile.composed #5434

Triggered via pull request May 13, 2026 00:15
@andres-erbsenandres-erbsen
synchronize #2330
andres-erbsen:replace-coq-makefile
Status Failure
Total duration 6h 0m 45s
Artifacts 1

coq-windows.yml

on: pull_request
windows
3h 39m
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
3s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 notice
windows
Process completed with exit code 1.
windows
rupicola/bedrock2/deps/coqutil/vfiles_rules.mk:7: src/Rewriter/PerfTesting/Specific/generated/p2127m1__x32__unsaturated_solinas_GallinaAxComputedOf_0.v
windows
rupicola/bedrock2/deps/coqutil/vfiles_rules.mk:7: src/Rewriter/PerfTesting/Specific/generated/p2127m1__x32__unsaturated_solinas_GallinaAxComputedOf_0.v
windows-check-all
Process completed with exit code 1.
windows
NOTICE: windows-2025 requests are being redirected to windows-2025-vs2026 by May 12, 2026

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows
597 Bytes
sha256:43ababb0a2e942fb2d5cace5aa8b3d8d495891ba873ca42ee5b5be979f602783