Jakub Rusz 30b6301a4b CI: Fix location of Jenkinsfile for sed ... The Jenkinsfile is actually downloaded to .travis folder so fix the location for the sed command to work.		2022-06-03 12:38:36 +02:00
..
custom_release.sh	CI: Fix location of Jenkinsfile for sed	2022-06-03 12:38:36 +02:00
deploy_key.enc	update keys for deployments (#28)	2020-10-30 10:39:57 -05:00
Jenkinsfile	CI: Enable IQE trigger for prod branch	2022-06-03 12:10:11 +02:00