Do not build docker on pull requests. (#1262)

If needed use CI to build manually.

Author: janiversen

.github/workflows/docker-publish.yml

@@ -8,10 +8,8 @@ name: Docker
 on:
   push:
     branches: [ "dev" ]
-    # Publish semver tags as releases.
+    # Publish version tags as releases.
     tags: [ 'v*.*.*' ]
-  pull_request:
-    branches: [ "dev" ]
 
 env:
   # Use docker.io for Docker Hub if empty