Skip to content
GitLab
Explore
Sign in
Ci pipeline
Code
Review changes
Check out branch
Download
Patches
Plain diff
Kristian Rother
requested to merge
ci_pipeline
into
main
Apr 04, 2024
Overview
8
Commits
23
Pipelines
8
Changes
18
Expand
Add pre-commit config and CI pipeline
Merge request reports