Skip to content
CI (Coq, Windows)

Add support for more assembly #4738

Sign in to view logs

Add support for more assembly

Add support for more assembly #4738

Triggered via pull request March 2, 2025 23:32
@JasonGrossJasonGross
synchronize #2016
JasonGross:more-asm
Status Failure
Total duration 1h 1m 13s
Artifacts 1

coq-windows.yml

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

Annotations

5 errors
windows: .src/PushButtonSynthesis/Primitives.v#L1291
The reference Assembly.Parse.split_code_to_functions was not found in the current environment.
windows
Makefile.coq:838: src/PushButtonSynthesis/Primitives.v
windows
Makefile.coq:838: src/PushButtonSynthesis/Primitives.v
windows
Process completed with exit code 1.
windows-check-all
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
timing-files-windows
1.89 MB
sha256:22469e0915e495402fb9e30e1cb8a7d1ce7d59139693e0aa8e66a4c75f41eba0