Skip to content
GitLab
Explore
Sign in
Ansgar Burchardt
dune-docker
Repository
dune-docker
bin
duneci-deploy
Find file
Blame
History
Permalink
add duneci-depoy script [ci skip]
· e934a7a1
Ansgar Burchardt
authored
Feb 28, 2018
This makes it easier to update the CI environment.
e934a7a1