Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
bob
conda
Merge requests
!401
Use bdt for building all packages
Code
Review changes
Check out branch
Download
Patches
Plain diff
André Anjos
requested to merge
devtools
into
master
Feb 14, 2019
Overview
0
Commits
9
Pipelines
3
Changes
13
Expand
This MR does what the title says: use bob/bob.devtools to implement a CI.
Merge request reports