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
279f7623673e2aa9bfc9f08520b70973869846e3
Switch branch/tag
bob.devtools
bob
devtools
scripts
ci.py
15 Jan, 2019
8 commits
[scripts][ci] Fix variable name
· 279f7623
André Anjos
authored
Jan 15, 2019
279f7623
[scripts][ci] Do not duplicate root-path at destination
· e2092e12
André Anjos
authored
Jan 15, 2019
e2092e12
[scripts][ci] Fix deployment path for conda packages
· d4e47918
André Anjos
authored
Jan 15, 2019
d4e47918
[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