Add ACVP Support for KAS-ECC #1165
Triggered via pull request
March 6, 2026 18:11
sgmenda
Status
Cancelled
Total duration
1d 0h 0m 41s
Artifacts
–
formal-verification.yml
on: pull_request
define_matrix
9s
Matrix: formal_verification
Annotations
4 errors
|
fv-nsym-aarch64
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|
|
fv-saw-aarch64
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|
|
fv-saw-x86_64-aes-gcm
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|
|
fv-saw-x86_64
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|