Extract Bertie

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

Sign in to view logs

Triggered via pull request January 22, 2025 08:06

W95Psp

synchronize #1267

fix-mut-borrow-self-ensures-clause

Status Skipped

Total duration 3s

Artifacts –

bertie.yml

on: pull_request