]> git.arvados.org - arvados.git/history - tools/jenkins/submit-ci-dev.sh
16421: Merge branch 'master' into 16421-document-collection-deletion-lifecycle
[arvados.git] / tools / jenkins / submit-ci-dev.sh
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