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.

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

Jump to bottom

minor - drop unneeded casts #1667

Merged
merged 4 commits into from
Sep 20, 2024

ci - use non int64 due to PETSc leak

e5422a1
Select commit
Loading
Failed to load commit list.
Merged

minor - drop unneeded casts #1667

ci - use non int64 due to PETSc leak
e5422a1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch/interface succeeded Sep 20, 2024 in 0s

Coverage not affected when comparing 92a6375...e5422a1

View this Pull Request on Codecov

Coverage not affected when comparing 92a6375...e5422a1

View more details on Codecov