fix
authorErik Brakkee <erik@brakkee.org>
Sat, 1 Oct 2022 18:53:44 +0000 (20:53 +0200)
committerErik Brakkee <erik@brakkee.org>
Sat, 1 Oct 2022 18:53:44 +0000 (20:53 +0200)
commit8869c1945defc59c41311194e5e3423f27ac4a37
treefe604fe233d844efda407078cb412839a4d2fecd
parent18c4cdb4ff9440d5ef4af08a3ac7c666cdd4f3e7
fix
Jenkinsfile