Migrate DIND to DIND service

.woodpecker/.woodpecker.yml

@@ -9,7 +9,7 @@ clone:
 # Define a temporary volume for communicating with the DIND service.
 .dockervol: &dockervol
   volumes:
-    - /var/run/docker.sock:/var/run/docker.sock
+    - /tmp/docker-dind/socket:/var/run
 
 variables:
   - &secrets
@@ -28,6 +28,7 @@ pipeline:
     secrets:
       - DOCKER_PASSWORD
     commands:
+      - sleep 10 # give docker enough time to start
       - docker login $docker_registry -u ${CI_REPO_OWNER} -p $DOCKER_PASSWORD
       - docker build -t $docker_image .
       - docker push $docker_image
@@ -71,3 +72,9 @@ pipeline:
       - *setup_script
       - /bin/bash github2gitea-mirror -m org -o Echtzeitsysteme -v public -u maxkratz
     secrets: *secrets
+
+services:
+  docker:
+    image: docker:dind
+    privileged: true
+    <<: *dockervol