[ci] Simplifies the CI of this package by re-using definitions in bob/bob.devtools (bdt)
1 related merge request: !50 Simplifies the CI of this package by re-using definitions in bob/bob.devtools (bdt)
3 jobs
29 minutes 27 seconds, queued for 1 seconds