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

simplify the code for `IsObjWithMemory` #5875

Merged

fingolfin merged 1 commit into gap-system:master from ThomasBreuer:TB_ObjWithMemory

Dec 19, 2024

Merged

simplify the code for `IsObjWithMemory` #5875

simplify the code for `IsObjWithMemory`

Codecov / codecov/project succeeded Dec 19, 2024 in 0s

78.15% (-0.01%) compared to b1a206f, passed because coverage increased by 0% when compared to adjusted base (78.15%)

View this Pull Request on Codecov

78.15% (-0.01%) compared to b1a206f, passed because coverage increased by 0% when compared to adjusted base (78.15%)

View more details on Codecov