Skip to content
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

Update package bounds #710

Merged
merged 1 commit into from
Aug 1, 2023
Merged

Update package bounds #710

merged 1 commit into from
Aug 1, 2023

Conversation

schillic
Copy link
Member

No description provided.

@schillic schillic marked this pull request as ready for review June 23, 2023 04:21
@schillic
Copy link
Member Author

schillic commented Jun 23, 2023 •
edited
Loading

I just saw that CI did not pick the latest versions of these packages because some other dependencies hold them back. I will first make releases and then re-trigger here.

The last missing dependency seems to be SymbolicUtils.

@mforets
Copy link
Member

mforets commented Jul 26, 2023

should we merge this?

@schillic
Copy link
Member Author

SymbolicUtils still has not propagated the changes, so we still do not know whether there are conflicts with the new versions. I just asked there that they merge the PR and release the changes.

@schillic schillic merged commit 03984c2 into master Aug 1, 2023
@schillic schillic deleted the schillic/bump branch August 1, 2023 05:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mforets mforets mforets approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@schillic @mforets