Repository: GaloisInc/cclyzerpp (language: cpp)

Issue:
ci: Release job is failing
https://github.com/GaloisInc/cclyzerpp/actions/runs/3208051718/jobs/5243563944

```
unauthorized: unauthenticated: User cannot be authenticated with the token provided.
```

This is probably a result of https://github.com/GaloisInc/cclyzerpp/pull/44


Discussion / hints:

Fix patch:
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0249d57..290bc86 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,83 +33,83 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-
-      - name: Login to Packages Container registry
-        uses: docker/login-action@v2
-        with:
-          registry: ghcr.io
-          username: ${{ github.actor }}
-          password: ${{ secrets.GITHUB_TOKEN }}
-
-      - name: Build dev image
-        run: |
-          ./scripts/gha-docker-build "dev" "cclyzerpp-dev"
-
-      - name: Build
-        run: |
-          # The `pull_request` event creates a merge commit, which means that
-          # `GITHUB_SHA` is not want we want: we need to do some additional
-          # sleuthing for these events to get the right commit.
-          if [[ "${GITHUB_EVENT_NAME}" == "pull_request" ]]; then
-            ref="${ACTUAL_GITHUB_SHA_ON_PULL_REQUEST}"
-          else
-            ref="${GITHUB_SHA}"
-          fi
-
-          docker run \
-            --rm \
-            --mount type=bind,src=$PWD,target=/work \
-            --workdir /work \
-            "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
-            cmake -G Ninja -B build -S .
-
-          docker run \
-            --rm \
-            --mount type=bind,src=$PWD,target=/work \
-            --workdir /work \
-            "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
-            cmake --build build -j $(nproc)
-
-      - name: Upload build log
-        uses: actions/upload-artifact@v3
-        if: failure()
-        with:
-          name: "cmake-logs"
-          path: "build/CMakeFiles/*.log"
-          if-no-files-found: error
-
-      - name: Run tests
-        run: |
-          # See previous comment
-          if [[ "${GITHUB_EVENT_NAME}" == "pull_request" ]]; then
-            ref="${ACTUAL_GITHUB_SHA_ON_PULL_REQUEST}"
-          else
-            ref="${GITHUB_SHA}"
-          fi
-
-          docker run \
-            --rm -v $(pwd):/work \
-            --workdir /work \
-            "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
-            pytest -x -n=$(nproc)
-
-      - name: Build dist image
-        run: |
-          ./scripts/gha-docker-build "dist" "cclyzerpp-dist"
+    - uses: actions/checkout@v3
+
+    - name: Login to Packages Container registry
+      uses: docker/login-action@v2
+      with:
+        registry: ghcr.io
+        username: ${{ github.actor }}
+        password: ${{ secrets.GITHUB_TOKEN }}
+
+    - name: Build dev image
+      run: |
+        ./scripts/gha-docker-build "dev" "cclyzerpp-dev"
+
+    - name: Build
+      run: |
+        # The `pull_request` event creates a merge commit, which means that
+        # `GITHUB_SHA` is not want we want: we need to do some additional
+        # sleuthing for these events to get the right commit.
+        if [[ "${GITHUB_EVENT_NAME}" == "pull_request" ]]; then
+          ref="${ACTUAL_GITHUB_SHA_ON_PULL_REQUEST}"
+        else
+          ref="${GITHUB_SHA}"
+        fi
+
+        docker run \
+          --rm \
+          --mount type=bind,src=$PWD,target=/work \
+          --workdir /work \
+          "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
+          cmake -G Ninja -B build -S .
+
+        docker run \
+          --rm \
+          --mount type=bind,src=$PWD,target=/work \
+          --workdir /work \
+          "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
+          cmake --build build -j $(nproc)
+
+    - name: Upload build log
+      uses: actions/upload-artifact@v3
+      if: failure()
+      with:
+        name: "cmake-logs"
+        path: "build/CMakeFiles/*.log"
+        if-no-files-found: error
+
+    - name: Run tests
+      run: |
+        # See previous comment
+        if [[ "${GITHUB_EVENT_NAME}" == "pull_request" ]]; then
+          ref="${ACTUAL_GITHUB_SHA_ON_PULL_REQUEST}"
+        else
+          ref="${GITHUB_SHA}"
+        fi
+
+        docker run \
+          --rm -v $(pwd):/work \
+          --workdir /work \
+          "ghcr.io/galoisinc/cclyzerpp-dev:${ref}" \
+          pytest -x -n=$(nproc)
+
+    - name: Build dist image
+      run: |
+        ./scripts/gha-docker-build "dist" "cclyzerpp-dist"
 
   lint:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+    - uses: actions/checkout@v3
 
-      - name: Install linting tools
-        run: |
-          sudo apt-get update
-          sudo apt-get install -y clang-format mypy
+    - name: Install linting tools
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y clang-format mypy
 
-      - name: Run linting script
-        run: bash scripts/lint.sh
+    - name: Run linting script
+      run: bash scripts/lint.sh
 
   release:
     runs-on: ubuntu-latest
@@ -120,6 +120,13 @@ jobs:
 
     - uses: actions/checkout@v3
 
+    - name: Login to Packages Container registry
+      uses: docker/login-action@v2
+      with:
+        registry: ghcr.io
+        username: ${{ github.actor }}
+        password: ${{ secrets.GITHUB_TOKEN }}
+
     # TODO(lb): Figure out how to tag these images with the version number
     - name: Build and push dev and dist images
       run: |


Test patch: