Skip to content

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

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

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

Triggered via pull request January 22, 2025 08:06
Status Skipped
Total duration 3s
Artifacts

engine_js_build.yml

on: pull_request
engine-js-build
0s
engine-js-build
Fit to window
Zoom out
Zoom in