Skip to content

Conversation

@alecarraro
Copy link
Collaborator

@alecarraro alecarraro commented Aug 19, 2025

Closes #328.

@alecarraro
Copy link
Collaborator Author

Both tests and documentation runs locally on my computer. LazySets is in the test and docs Project.toml file. I do not understand the error

@schillic
Copy link
Member

This is because we need a new release of LazySets.

@schillic schillic mentioned this pull request Aug 20, 2025
Copy link
Member

@schillic schillic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

alecarraro and others added 2 commits August 21, 2025 13:42
Co-authored-by: Christian Schilling <[email protected]>
Co-authored-by: Christian Schilling <[email protected]>
@schillic
Copy link
Member

I'll merge this and fix the build later.

@schillic schillic merged commit 5862eec into JuliaReach:master Aug 21, 2025
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants