Test installations

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

Sign in to view logs

Triggered via pull request January 22, 2025 09:26

W95Psp

synchronize #1267

fix-mut-borrow-self-ensures-clause

Status Skipped

Total duration 4s

Artifacts –

test_installs.yml

on: pull_request

Matrix: setup_sh

setup_sh_status