ci: remove duplicate variable

Change-Id: I839ac4d9eda36082ba24c7c06df234a78798be2c
This commit is contained in:
Georg Brandl 2023-02-21 12:03:05 +01:00 committed by Markus Zolliker
parent 25ff6018c4
commit 4857ebf043

5
ci/Jenkinsfile vendored
View File

@ -13,11 +13,6 @@ properties([
choice(choices: '''\
patchset-created
ref-updated
change-merged''',
description: '', name: 'GERRIT_EVENT'),
choice(choices: '''\
patchset-created
ref-updated
change-merged''',
description: '', name: 'GERRIT_EVENT_TYPE')])
])