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

Fix type mismatch. #6102

Merged

tjhei merged 1 commit into geodynamics:main from bangerth:types

Oct 22, 2024

+5 −5

Contributor

bangerth commented Oct 22, 2024

Fixes #6101.


          Fix type mismatch.

3a33987

bangerth added the ready to test label

bangerth added this to the 3.0 milestone

tjhei approved these changes

View reviewed changes

tjhei merged commit b390df4 into geodynamics:main

8 checks passed

bangerth deleted the types branch

October 22, 2024 21:31

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels