Skip to content

Conversation

@GitPaean
Copy link
Member

and updating the repo accoridingly.

To me, it is handy to be able to hook the pre-commit when commit, while not sure how it works for others.

Creating the PR for potential discussion and/or getting it in.

@GitPaean GitPaean added the manual:irrelevant This PR is a minor fix and should not appear in the manual label Oct 15, 2025
@GitPaean
Copy link
Member Author

jenkins build this please

@GitPaean
Copy link
Member Author

abusing this PR to generate update for OPM/opm-tests#1344 .

@GitPaean
Copy link
Member Author

jenkins build this opm-tests=1344 update_data please

jenkins4opm pushed a commit to jenkins4opm/opm-tests that referenced this pull request Oct 16, 2025
Reason: PR OPM/opm-grid#936

opm-common     = 49057237b8f9ebf517ea64bec03116f173eefa5c
opm-grid       = fafb207a8039c3b9c32927c30975fe7f80447016
opm-simulators = fafb207a8039c3b9c32927c30975fe7f80447016

### Changed Tests ###

  * spe1case2_thermal
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

manual:irrelevant This PR is a minor fix and should not appear in the manual

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant