Robin Mueller dc1e7b30f4 maybe rsync is too old for this

2023-12-12 13:29:16 +01:00

..

Dockerfile

maybe rsync is too old for this

2023-12-12 13:29:16 +01:00

Jenkinsfile

that should fix coverage upload

2023-12-12 13:16:57 +01:00