update ci

.woodpecker.yml

@@ -0,0 +1,17 @@
+---
+pipeline:
+  build_deploy:
+    image: deblan/devenv
+    secrets: [ssh_user_host, ssh_priv_key]
+    commands:
+      - pip3 install mkdocs
+      - mkdocs build
+      - mkdir "$HOME/.ssh"
+      - echo "$SSH_PRIV_KEY" > "$HOME/.ssh/id_ed25519"
+      - echo "$SSH_PUB_KEY" > "$HOME/.ssh/id_ed25519.pub"
+      - chmod 700 "$HOME/.ssh"
+      - chmod 600 "$HOME/.ssh/id_ed25519" "$HOME/.ssh/id_ed25519.pub"
+      - rsync -e "ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no" -avz --delete ./site/ "$SSH_USER_HOST:web/"
+    when:
+      branch:
+        - master