https://gitlab.opengeosys.org/ogs/ogs.git
Revision 13227e58e1033bb9e1e8f01cd0c4bbec8da18e55 authored by Lars Bilke on 07 March 2023, 12:05:36 UTC, committed by Lars Bilke on 07 March 2023, 12:05:36 UTC
[ci] PETSc checks

See merge request ogs/ogs!4418
2 parent s d45cd65 + 51b6be7
History
Tip revision: 13227e58e1033bb9e1e8f01cd0c4bbec8da18e55 authored by Lars Bilke on 07 March 2023, 12:05:36 UTC
Merge branch 'petsc-checks' into 'master'
Tip revision: 13227e5

back to top