Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
PETSc
petsc
Merge requests
!7515
Barry/2024 04 29/add env lint/release
Code
Review changes
Check out branch
Download
Patches
Plain diff
Barry Smith
requested to merge
barry/2024-04-29/add-env-lint/release
into
release
Apr 29, 2024
Overview
5
Commits
2
Pipelines
2
Changes
2
Expand
@Jfaibussowitsch
There is a cheat on the library name, not sure how to fix it.
Merge request reports