summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorGravatar Matthias Lucas Jaros <jarlucmat@mailbox.org>2025-11-09 20:08:38 +0100
committerGravatar Matthias Lucas Jaros <jarlucmat@mailbox.org>2025-11-09 20:08:38 +0100
commitdd6da916f772e5acc791caeb1f37ebbd5295fb6f (patch)
treef18dd67db5c195299179129f3f2c6cd470ecf939 /Jenkinsfile
parente553c7e307363d277721c15441aaccc1f6def481 (diff)
Fail when git user is not setup
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions