Revision eecd3ad93db745c3f4f871641e82d16ad7bc7b83 authored by Lars Bilke on 26 July 2023, 08:00:49 UTC, committed by Lars Bilke on 26 July 2023, 08:00:49 UTC
[ci] PETSc checks

See merge request ogs/ogs!4418
2 parent s 17cbb68 + 00d90dd
History

back to top