Skip to content
GitLab
Explore
Sign in
ag-ohlberger
dune-community
dune-gdt
Merge requests
!3
Add pre-commit hooks, general CI improvements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tobias Leibner
requested to merge
pre-commit_hooks
into
master
Nov 24, 2021
Overview
0
Commits
12
Pipelines
10
Changes
12
Expand
Merge request reports