Skip to content
GitLab
Explore
Sign in
Register
ogs
ogs
Merge requests
!4148
[ci] Fix frontend petsc
Code
Review changes
Check out branch
Download
Patches
Plain diff
Lars Bilke
requested to merge
bilke/ogs:fix-frontend-petsc
into
master
May 11, 2022
Overview
0
Commits
1
Pipelines
0
Changes
2
Expand
Fixes
#3292 (closed)
.
Edited
May 11, 2022
by
Lars Bilke
Merge request reports