Skip to content
GitLab

make commands more suitable for bob.bio and bob.pad

4 jobs for small in 15 minutes and 22 seconds (queued for 5 seconds)
03ee04d0
1 related merge request: !70 Improvements to new metrics codes