switch back to using main image

opencompl · May 18, 2024 · 6c60b44 · 6c60b44
1 parent 245304e
commit 6c60b44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -49,7 +49,7 @@ jobs:
       - name: Install Quidditch Toolchain
         run: |
           mkdir ./toolchain
-          docker run --rm ghcr.io/opencompl/quidditch/toolchain:optimize-speed-over-size tar -cC /opt/quidditch-toolchain . \
+          docker run --rm ghcr.io/opencompl/quidditch/toolchain:main tar -cC /opt/quidditch-toolchain . \
           | tar -xC ./toolchain
 
       - name: Configure Megabuild