Skip to content
CI (Coq, Windows)

Decide point equality #4340

Sign in to view logs

Decide point equality

Decide point equality #4340

Triggered via pull request April 3, 2024 23:53
@andres-erbsenandres-erbsen
opened #1848
andres-erbsen:EdwardsMontgomery25519B
Status Failure
Total duration 1h 29m 43s
Artifacts –

coq-windows.yml

on: pull_request
windows
1h 29m
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/Curves/EdwardsMontgomery25519.v#L47
The reference Montgomery_of_Edwards was not found in the current
windows
Makefile.coq:838: src/Curves/EdwardsMontgomery25519.v
windows
Makefile.coq:838: src/Curves/EdwardsMontgomery25519.v
windows
Process completed with exit code 2.
windows-check-all
Process completed with exit code 1.