add Curves.Edwards.TwistIsomorphism (#1844) #4332
andres-erbsencoq-windows.yml
on: push
Annotations
8 errors
|
windows
unable to access 'https://github.com/thery/coqprime/': Recv failure: Connection was reset
|
|
windows
clone of 'https://github.com/thery/coqprime' into submodule path 'D:/a/fiat-crypto/fiat-crypto/coqprime' failed
|
|
windows
unable to access 'https://github.com/mit-plv/coqutil.git/': Failure when receiving data from the peer
|
|
windows
Fetched in submodule path 'rupicola/bedrock2/deps/coqutil', but it did not contain 9bb864c87be265d98f128e006489c520ae259eea. Direct fetching of that commit failed.
|
|
windows
Failed to recurse into submodule path 'rupicola/bedrock2'
|
|
windows
Failed to recurse into submodule path 'rupicola'
|
|
windows
The process 'C:\Program Files\Git\bin\git.exe' failed with exit code 128
|
|
windows-check-all
Process completed with exit code 1.
|