-
Notifications
You must be signed in to change notification settings - Fork 126
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
Backports Oscar 1.0.1 #3574
Backports Oscar 1.0.1 #3574
Conversation
* fixes loading polymake simplicial complex and other types * adds test case * removing unnecessary else * fix test (cherry picked from commit dcd3952)
(cherry picked from commit 5ea63d1)
(cherry picked from commit 31228f5)
(cherry picked from commit 8667f84)
(cherry picked from commit 1ed5322)
(cherry picked from commit f16acc9)
(cherry picked from commit 5765d5c)
(cherry picked from commit aead208)
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## release-1.0 #3574 +/- ##
===============================================
+ Coverage 82.10% 82.43% +0.33%
===============================================
Files 563 563
Lines 75663 75727 +64
===============================================
+ Hits 62120 62426 +306
+ Misses 13543 13301 -242
|
Not sure if you'll scan for the "backport to 1.x" label again, but: PR #3579 is trivial and would be nice to have in, just in case somebody looks at the README :-) |
I will probably recheck the labels tomorrow morning and add #3579 to the branch.
#3519 was not backported so #3578 is not needed on the release branch, the failure was only with master and not with the release branch. |
Co-authored-by: Johannes Schmitt <schmitt@mathematik.uni-kl.de> (cherry picked from commit 8be19fa)
(cherry picked from commit 837d22c)
(cherry picked from commit 5413e7a)
(cherry picked from commit 4424855)
Hide Oscar banner, when used in other module (cherry picked from commit 6894701)
keep repl per chapter simplify rng usage use broken and skipped lists more regex add to CI add dependencies to test project
… failures when these are fixed
[skip ci] (cherry picked from commit 68728ce)
(cherry picked from commit c0bd7ba)
(cherry picked from commit 3f86b80)
(cherry picked from commit 3c638a5)
Still needs checking with book tests.
cherry-picked
is_conjugate*
todocs/src/Groups/action.md
#3483number_of_
to the styleguide. #3305vcat
#3580 (only the vcat commit)with label
todo
not on master yet