Skip to content
Test Workspace

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
no-std-lib
1m 3s
test-workspace (macos-latest)
1m 27s
test-workspace (ubuntu-latest)
1m 21s
test-workspace (windows-latest)
2m 3s
5m 54s