This repository has been archived on 2026-05-07. You can view files and clone it. You cannot open issues or pull requests or push a commit.

florian 5e0fc4e448 Update prod configuration.

2019-08-05 22:11:17 +02:00

..

Jenkinsfile-integ

Correct the yaml file copy for integration environment.

2019-08-02 09:20:19 +02:00

Jenkinsfile-prod

Update prod configuration.

2019-08-05 22:11:17 +02:00