Kyber: F* extraction: drop stale impl. module #124

Sign in to view logs

Summary
Jobs
- hax
Run details
- Usage
- Workflow file

Triggered via pull request January 11, 2024 07:57

W95Psp

synchronize #167

lucas/drop-stale-fst-file

Status Success

Total duration 19m 17s

Artifacts –

hax.yml

on: pull_request