feat(hax-lib): allow requires & ensures on `&mut` inputs functions #414

Sign in to view logs

Triggered via pull request July 10, 2024 14:57

W95Psp

opened #764

mut-pre-post

Status Skipped

Total duration 3s

Artifacts –

engine_js_build.yml

on: pull_request

engine-js-build