Add Pin Docker image to release workflow

.github/workflows/release.yml

@@ -99,4 +99,15 @@ jobs:
             ghcr.io/microwalk-project/microwalk:jalangi2
             ghcr.io/microwalk-project/microwalk:${{ steps.get_version.outputs.VERSION }}-jalangi2
           platforms: linux/amd64
-          file: docker/jalangi2/Dockerfile
+          file: docker/jalangi2/Dockerfile
+
+      - name: Build and push Microwalk Pin docker image
+        uses: docker/build-push-action@v3
+        with:
+          context: .
+          push: true
+          tags: |
+            ghcr.io/microwalk-project/microwalk:pin
+            ghcr.io/microwalk-project/microwalk:${{ steps.get_version.outputs.VERSION }}-pin
+          platforms: linux/amd64
+          file: docker/pin/Dockerfile

README.md

@@ -4,7 +4,7 @@ Microwalk is a microarchitectural leakage detection framework, which combines dy
 
 ## Usage (Docker)
 
-Microwalk now comes with a set of preconfigured Docker images, which hold all necessary dependencies and configuration. Due to licensing issues, we cannot offer binary versions of those images; however, they can be easily build on any system that supports Docker. See [the documentation](docker/README.md) for more details.
+Microwalk now comes with a set of preconfigured Docker images, which hold all necessary dependencies and configuration. Pre-built images are located in [GitHub's container registry](https://github.com/microwalk-project/Microwalk/pkgs/container/microwalk). See [the documentation](docker/README.md) for more details.
 
 In the [template/](directory) you can find several templates for generic analysis tasks, which serve as configuration examples and can be adapted for your specific workload.