Skip to content
Extract and TC ML-Kem

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures #1424

Sign in to view logs

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures #1424

Triggered via pull request January 22, 2025 09:26
@W95PspW95Psp
synchronize #1267
fix-mut-borrow-self-ensures-clause
Status Skipped
Total duration 3s
Artifacts –

mlkem.yml

on: pull_request
extract-mlkem
0s
extract-mlkem
Fit to window
Zoom out
Zoom in