Skip to content
Back to pull request #1853

[DO NOT MERGE] Bench garagedoor april #4362

Sign in to view logs

[DO NOT MERGE] Bench garagedoor april

[DO NOT MERGE] Bench garagedoor april #4362

Triggered via pull request April 6, 2024 05:08
@andres-erbsenandres-erbsen
opened #1853
andres-erbsen:bench-garagedoor-april
Status Failure
Total duration 2h 29m 8s
Artifacts –

coq-windows.yml

on: pull_request
windows
2h 28m
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/Bedrock/End2End/X25519/GarageDoorTop.v#L262
The variable MMIO was not found in the current environment.
windows
Makefile.coq:838: src/Bedrock/End2End/X25519/GarageDoorTop.v
windows
Makefile.coq:838: src/Bedrock/End2End/X25519/GarageDoorTop.v
windows
Process completed with exit code 2.
windows-check-all
Process completed with exit code 1.