Wrong registry

runtimeverification · Oct 6, 2023 · 40f433e · 40f433e
1 parent 546d04a
commit 40f433e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -32,7 +32,6 @@ jobs:
       - name: Docker Login w/ Github Token
         uses: docker/login-action@v1
         with:
-          registry: ghcr.io
           username: rvdockerhub
           password: ${{ secrets.DOCKERHUB_PASSWORD }}