Add a Jenkins pipeline for daily deploy
authorAndrea Cosentino <ancosen@gmail.com>
Mon, 31 Aug 2020 15:28:03 +0000 (17:28 +0200)
committerAndrea Cosentino <ancosen@gmail.com>
Mon, 31 Aug 2020 15:28:29 +0000 (17:28 +0200)
commitf0b4f6f7d0ec6f3a7e7bdb047f0ebcb59a533661
treec2a683266fa581a73d0aa0ea5be38e1ba5d5d8c4
parentac581fbb559039b4acc86a011a7d7bc960bbf6fe
Add a Jenkins pipeline for daily deploy
Jenkinsfile.deploy [new file with mode: 0644]