You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Yeah, just one line comment because I submitted my geoid pull request which uses the previous dynamic topography.cc to calculate grid dynamic topography before Jacky's new one is merged. I already committed a patch to fix this issue. @bangerth
It looks like all pull requests current fail this test:
@Shangxin-Liu -- can you see if you can fix this?
The text was updated successfully, but these errors were encountered: