Skip to content

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

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

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

Triggered via pull request January 22, 2025 08:04
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