Robin Mueller d1b9f4a4d5 that did not help, let's try the clear command

2023-12-07 11:03:52 +01:00

..

Dockerfile

that should do the job

2023-12-01 16:28:22 +01:00

Jenkinsfile

that did not help, let's try the clear command

2023-12-07 11:03:52 +01:00