takiguchi 2e4ec738e6 Edit jenkins credentials for ssh.

2019-08-23 22:18:15 +02:00

..

Jenkinsfile-do-release

Correct release pipeline.

2019-08-13 21:57:29 +02:00

Jenkinsfile-prod

Edit jenkins credentials for ssh.

2019-08-23 22:18:15 +02:00