Skip to content
CI (Coq, Windows)

remove PermutationCompat #4941

Sign in to view logs

remove PermutationCompat

remove PermutationCompat #4941

Triggered via pull request June 2, 2025 17:40
@andres-erbsenandres-erbsen
opened #2091
andres-erbsen:remove-PermutationCompat
Status Failure
Total duration 3h 17m 35s
Artifacts 1

coq-windows.yml

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

Annotations

4 errors
windows
Process completed with exit code 1.
windows
Makefile.standalone:181: install-standalone-js-of-ocaml
windows
Makefile.standalone:181: install-standalone-js-of-ocaml
windows-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows Expired
2.37 MB
sha256:5899fe65a6437430812fbd7f0cd8817869ecbdb0aa131c4511fbbe23055076a5