Skip to content
formal-verification

ML-DSA: import and enable x86_64 assembly backend from mldsa-native #1880

Sign in to view logs

ML-DSA: import and enable x86_64 assembly backend from mldsa-native

ML-DSA: import and enable x86_64 assembly backend from mldsa-native #1880

Triggered via pull request May 18, 2026 22:03
@jakemasjakemas
synchronize #3195
jakemas:mldsa-native-x86-backend
Status Success
Total duration 35m 38s
Artifacts –

formal-verification.yml

on: pull_request
define_matrix
9s
define_matrix
Matrix: formal_verification
Fit to window
Zoom out
Zoom in