5 Commits

Include renames

Author	SHA1	Message	Date
florian	02e0bd4aa2	Update codiki-properties repository path in pipeline.	2020-01-18 15:15:06 +01:00
florian	78dd79f792	Update jenkins tools in pipeline.	2020-01-18 15:11:07 +01:00
florian	5e0fc4e448	Update prod configuration.	2019-08-05 22:11:17 +02:00
florian	b3942828be	Correct the jenkinsfiles.	2019-08-01 21:06:02 +02:00
florian	2fe8c9e2ed	Add jenkinsfiles for prod and integ environments.	2019-07-29 22:11:09 +02:00