New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixes to support API change in mojo 0.7.0. #12

Merged

guidorice merged 2 commits into main from v0.7.0

Jan 31, 2024

Owner

guidorice commented Jan 31, 2024 •

edited

Loading

Update CI script to use mojo 0.7
Fix test regression with 0.7.
Add --mojo-assertions option (-D MOJO_ENABLE_ASSERTIONS), but YMMV . Closes Debug assertion support #8, however see warnings in that issue about the usefulness of the mojo assertions.

guidorice added 2 commits

January 31, 2024 07:59


          Mojo 0.7.0 support, and --mojo-assertions (-D MOJO_ENABLE_ASSERTIONS)…

6378d11

… option.


          Fix -W error test (previous warning was removed in mojo 0.7.0).

8752a2e

guidorice changed the title ~~Mojo 0.7.0 support~~ Fixes to support API change in mojo 0.7.0.

guidorice self-assigned this

guidorice merged commit 880bc38 into main

1 check passed

guidorice deleted the v0.7.0 branch

January 31, 2024 15:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet