Skip to content
CI (Coq, Windows)

Actually test more asm functions #4828

Sign in to view logs

Actually test more asm functions

Actually test more asm functions #4828

Triggered via pull request March 11, 2025 04:06
@JasonGrossJasonGross
opened #2044
JasonGross:more-asm-tests
Status Failure
Total duration 2h 58m 10s
Artifacts 1

coq-windows.yml

on: pull_request
windows
2h 5m
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/Assembly/WithBedrock/Semantics.v#L342
The reference signed was not found in the current environment.
windows
Makefile.coq:838: src/Assembly/WithBedrock/Semantics.v
windows
Makefile.coq:838: src/Assembly/WithBedrock/Semantics.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
2.17 MB
sha256:f3303025e650cf6085184750eed108d98615683af58388dc5777cb0cbde073f9