update docker and ci files
This commit is contained in:
parent
a9d1d2ab20
commit
3cb385044d
5 changed files with 5 additions and 15 deletions
|
@ -12,5 +12,5 @@ update:
|
|||
- git config --global user.email "git@git.fginfo.tu-bs.de"
|
||||
- git config --global user.name "Gitlab CI"
|
||||
script:
|
||||
- update < pads.txt
|
||||
- pad-archiver < pads.txt
|
||||
- git push "https://gitlab-ci-token:${CI_ACCESS_TOKEN}@${CI_REPOSITORY_URL#*@}" "HEAD:${CI_COMMIT_REF_NAME}" -o skip-ci
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue