ci: docker fix #37

Merged
morten-olsen merged 1 commit from ci/docker-fix into main 2024-01-15 15:09:51 +01:00
No description provided.