feat: release to Docker when a release gets published (#46)

.github/workflows/docker.yml → .github/workflows/docker-push-on-merge.yml

@@ -1,4 +1,4 @@
-name: Docker
+name: Push current master branch to the Docker registry
 on:
   push:
     branches:

.github/workflows/docker-push-on-tag.yml

@@ -0,0 +1,17 @@
+name: Push current master branch to the Docker registry
+on:
+  release:
+    types:
+     - published
+jobs:
+  docker_registry:
+    name: Push Clank image to the registry
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@master
+      - name: Build Dockerfile
+        run: docker build -t docker.pkg.github.com/${{ github.repository }}/clank:${GITHUB_REF##*/} .
+      - name: Push to GitHub
+        run: |
+          echo ${{ secrets.GITHUB_TOKEN }} | docker login docker.pkg.github.com --username ${{ github.actor }} --password-stdin
+          docker push docker.pkg.github.com/${{ github.repository }}/clank:${GITHUB_REF##*/}