Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
bob
bob.devtools
Commits
c8806dc7a2d7d9ffe9be535f5a39e05e8d33cd76
Switch branch/tag
bob.devtools
bob
devtools
scripts
ci.py
15 Jan, 2019
5 commits
[ci][deploy] Be more verbose and selective
· c8806dc7
André Anjos
authored
Jan 15, 2019
c8806dc7
[ci][deploy] Fix variable name
· 14aab93f
André Anjos
authored
Jan 15, 2019
14aab93f
[scripts][ci] Correctly imports webdav client
· 97c9c38d
André Anjos
authored
Jan 15, 2019
97c9c38d
[ci] Deployment fixes
· 63e85f68
André Anjos
authored
Jan 15, 2019
63e85f68
[ci] New deployment subcommand
· 9536df17
André Anjos
authored
Jan 15, 2019
9536df17
André Anjos authored
André Anjos authored
André Anjos authored
André Anjos authored
André Anjos authored