Skip to content
CI (Coq, Windows)

move only_mmio_satisfying to bedrock2 #4361

Sign in to view logs

move only_mmio_satisfying to bedrock2

move only_mmio_satisfying to bedrock2 #4361

Triggered via pull request April 6, 2024 04:50
@andres-erbsenandres-erbsen
synchronize #1852
andres-erbsen:combinator-only-mmio
Status Failure
Total duration 2h 29m 3s
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.