Skip to content
Check licenses

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix-action
4m 5s
4m 5s