F: kyber: add and use diffs for `proofs/fstar/extraction-` folders #627

Sign in to view logs

Triggered via pull request January 31, 2024 12:37

W95Psp

synchronize #193

lucas/fstar-kyber-diffs

Status Success

Total duration 23m 40s

Artifacts –

rust.yml

on: pull_request

Matrix: benchmarks

Matrix: build