do a docker build for PRs

Now that it's faster with depot, we can do this to make sure everything builds OK before merge.

.github/workflows/docker.yml

@@ -1,6 +1,7 @@
 name: Docker
 
 on:
+  pull_request:
   push:
     tags:
       - v*