Skip to content
GitLab
Explore
Sign in
Max Ole Elliger
Coq Exercises
Merge requests
!24
Resolve "CI/CD verwenden?"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Max Ole Elliger
requested to merge
22-ci-cd-verwenden
into
master
Jan 12, 2023
Overview
1
Commits
6
Pipelines
5
Changes
2
Expand
Closes
#22 (closed)
Merge request reports