Test installations

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

Sign in to view logs

Triggered via pull request January 22, 2025 08:04

W95Psp

opened #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