polymake_oscarnumber: disable gc free callbacks during exit #449
Codecov / codecov/project
succeeded
Aug 24, 2023 in 1s
69.46% (+0.08%) compared to d90b81c
View this Pull Request on Codecov
69.46% (+0.08%) compared to d90b81c
Loading
View this Pull Request on Codecov
69.46% (+0.08%) compared to d90b81c