Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Dominik Arominski
GitLab_Mantid_pipelines
Merge requests
!1
Keep history of deb packages
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Guillaume Communie
requested to merge
keep_previous_deb
into
master
Sep 30, 2021
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
With this PR, the last 5 deb packages are kept on serdon.
Merge request reports