Skip to content
CI (Coq, Windows)

Update the mlugg/setup-zig GitHub action #4951

Sign in to view logs

Update the mlugg/setup-zig GitHub action

Update the mlugg/setup-zig GitHub action #4951

Triggered via pull request June 6, 2025 08:53
@jedisct1jedisct1
opened #2096
jedisct1:setup-zig-update
Status Failure
Total duration 3h 22m 15s
Artifacts 1

coq-windows.yml

on: pull_request
windows
3h 21m
windows
test-standalone
0s
test-standalone
publish-standalone
0s
publish-standalone
windows-check-all
4s
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:04a21080c15c1060c1403d6c94b453effeee0e501555dd354b4ddeb3ba44544e