Fix issues, add .dockerignore

.github/workflows/docker-publish.yml

@@ -2,7 +2,7 @@ name: Publish Docker image
 
 on:
   push:
-    branches: [master]
+    branches: [master, ci/docker-hub-publishing]
   release:
     types: [published]
 
@@ -11,7 +11,6 @@ jobs:
     name: Push Docker image to Docker Hub
     runs-on: ubuntu-latest
     permissions:
-      packages: write
       contents: read
     steps:
       - name: Check out the repo
@@ -29,10 +28,10 @@ jobs:
         with:
           images: cproofdev/cproof
           tags: |
-            type=raw,value=dev,enable-if-ref=refs/heads/master
-            type=sha,prefix=nightly-,enable-if-ref=refs/heads/master
+            type=raw,value=dev,enable={{is_default_branch}}
+            type=sha,prefix=nightly-,enable={{is_default_branch}}
             type=ref,event=tag
-            type=raw,value=latest,enable-if-ref=refs/tags/*
+            type=raw,value=latest,enable=${{ startsWith(github.ref, 'refs/tags/') }}
 
       - name: Build and push Docker image
         id: push
@@ -43,5 +42,3 @@ jobs:
           push: true
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}
-
-