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.

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

Make check as a keyword argument #2763

Merged
merged 2 commits into from Sep 7, 2023

Conversation

StevellM
Copy link
Member

@StevellM StevellM commented Sep 4, 2023

It should have been a semicolon since the implementation of the code, but looks like I missed it.

@thofma
Copy link
Collaborator

thofma commented Sep 4, 2023

Is this function exported?

@StevellM
Copy link
Member Author

StevellM commented Sep 4, 2023

Yes, I just saw it somewhere in the exports.jl file

@thofma
Copy link
Collaborator

thofma commented Sep 4, 2023

I am afraid we have to add a deprecation. You know how to do that?

@StevellM
Copy link
Member Author

StevellM commented Sep 4, 2023

I guess I do. Though, I am convinced I have been the only using it locally so it should be fine ?

@thofma
Copy link
Collaborator

thofma commented Sep 4, 2023

Yes, but don't forget the million other Oscar users, which we don't know about.

@fingolfin fingolfin merged commit 7cd1abd into oscar-system:master Sep 7, 2023
8 of 12 checks passed
fieker pushed a commit that referenced this pull request Sep 29, 2023
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.

None yet

3 participants