Back to pull request #781

Update F* output with latest hax (after merging new naming). #1589

Sign in to view logs

Triggered via pull request January 30, 2025 15:27

maximebuyse

synchronize #781

update-fstar-new-naming

Status Success

Total duration 33m 16s

Artifacts –

mlkem.yml

on: pull_request

Matrix: build

Matrix: fuzz