Skip to content
GitLab
Explore
Sign in
Lorenz Huedepohl
ftimings
Merge requests
!5
add make integration test to CI
Code
Review changes
Check out branch
Download
Patches
Plain diff
Meisam Farzalipour Tabriz
requested to merge
ci_cleanup
into
master
Jul 10, 2023
Overview
0
Commits
5
Pipelines
1
Changes
6
Expand
...and cleanup CI.
closes
#2 (closed)
Merge request reports