EIP-7951 - ECDSA signature verification over the secp256r1 elliptic curve #11384
anvacarutest-pr.yml
on: pull_request
Code Quality Checks
22s
Matrix: Nix
Matrix: test-prove
Annotations
9 errors
|
Proofs: Functional
Process completed with exit code 1.
|
|
Nix (ARM64)
Process completed with exit code 1.
|
|
Proofs: Summarization
Process completed with exit code 1.
|
|
Proofs: DSS
Process completed with exit code 1.
|
|
Conformance Tests
Process completed with exit code 1.
|
|
Proofs: Rules (booster)
Process completed with exit code 1.
|
|
Proofs: Rules (booster-dev)
Process completed with exit code 1.
|
|
Nix (normal)
Process completed with exit code 1.
|
|
Proofs: Optimizations
Process completed with exit code 1.
|