-
Notifications
You must be signed in to change notification settings - Fork 125
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
Oscar as a dependency prints polymake banner #3502
Labels
Comments
fingolfin
changed the title
Oscar as a depedency prints polymake banner
Oscar as a dependency prints polymake banner
Mar 10, 2024
I think this is essentially the same as oscar-system/Polymake.jl#412 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Describe the bug
When loading a package that has OSCAR as one of its dependencies, additionally to the OSCAR banner, the polymake banner is displayed. This is considered a bug in #92 (comment)
To Reproduce
Create a new project with the following contents:
Then execute the following in this folder.
Expected behavior
To only print the OSCAR banner
System (please complete the following information):
Additional context
same thing happens for current oscar master
The text was updated successfully, but these errors were encountered: