Do not pipe into `grep -q`, because that stops reading as soon as a
[arvados.git] / tools / jenkins /
2021-12-22 Ward Vandewege17417: Merge branch 'main' into 17417-add-arm64
2021-09-24 Tom CleggMerge branch '18184-singularity-374'
2021-09-24 Ward VandewegeUpdate a few remaining Jenkins references to ci.arvados...
2019-07-29 Tom CleggMerge branch '14813-config-cors'
2019-07-29 Peter AmstutzMerge branch '15467-config-fixups'
2019-07-25 Peter Amstutz14717: Fixups since tests now use config.yml