formal-verification

Add brainpoolP224r1, brainpoolP256r1, brainpoolP320r1, brainpoolP384r1, brainpoolP512r1 EC group support #2361

Sign in to view logs

Re-run triggered July 31, 2026 15:27

nebeid

#3286

sfarestam-iproov:add-brainpool-curves

Status Success

Total duration 35m 58s

Artifacts –

formal-verification.yml

on: pull_request

Matrix: formal_verification