Move Jenkinsfile to the root directory

This commit is contained in:
akastijn 2025-06-28 03:56:10 +02:00
parent a507e64301
commit 73c451e423