summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorGravatar Matthias Jaros <jarlucmat@mailbox.org>2026-08-12 21:59:54 +0200
committerGravatar Matthias Jaros <jarlucmat@mailbox.org>2026-08-12 21:59:54 +0200
commit039a1424ef228b062c018bff1bc132800c8c2cfb (patch)
tree031ed5e29b13884dd783dbdc6d5e0a3a86401a24 /Jenkinsfile
parentdf5b3c3496b459737e98c7061f30324872ae9b00 (diff)
Moved user check into function and also verify in repo setup proper username
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions