CI: Add static binaries

.github/workflows/ghcr.yml

@@ -85,3 +85,27 @@ jobs:
           cache-to: type=gha,mode=max
           tags: ${{ steps.meta-ver.outputs.tags }}
           labels: ${{ steps.meta-ver.coutputs.labels }}
+
+      #Release files
+
+      - name: Extract binary from Docker image
+        run: |
+          container_id=$(docker create ${{ env.DOCKER_REGISTRY }}/${{ env.DOCKER_IMAGE_BASE }}:pr-3)
+          docker cp $container_id:/usr/bin/cpu_air_prover .
+          docker cp $container_id:/usr/bin/cpu_air_verifier .
+          docker rm $container_id
+          
+      - name: Verify file existence#1
+        run: pwd
+
+      - name: Verify file existence#2
+        run: ls -l
+
+      - name: Upload files to a GitHub release
+        uses: svenstaro/[email protected]
+        with:
+          file_glob: true
+          overwrite: true
+          tag: ${{ github.ref }}
+          file: /home/runner/work/stone-packaging/stone-packaging/cpu_air*
+          repo_token: ${{ secrets.GITHUB_TOKEN }}