diff --git a/.github/workflows/toolchain.yaml b/.github/workflows/toolchain.yaml index cdc3d44..eb5a7df 100644 --- a/.github/workflows/toolchain.yaml +++ b/.github/workflows/toolchain.yaml @@ -1,4 +1,4 @@ -name: toolchain.yaml +name: Build Docker toolchain image on: push: paths: @@ -23,20 +23,21 @@ jobs: - name: Disk usage after freeing up space run: df -h # Actually build the Docker container - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 + - uses: docker/setup-buildx-action@v1 - name: GHCR Log-in - uses: docker/login-action@v1 + uses: docker/login-action@v3.3.0 with: registry: ghcr.io username: ${{ github.actor }} password: ${{ secrets.GITHUB_TOKEN }} - name: Build and push - uses: docker/build-push-action@v2 + uses: docker/build-push-action@v5.3.0 with: context: ${{github.workspace}}/runtime/toolchain/ file: ${{github.workspace}}/runtime/toolchain/Dockerfile push: true - tags: ghcr.io/opencompl/Quidditch/toolchain:${{ github.ref_name }} + tags: ghcr.io/opencompl/quidditch/toolchain:${{ github.ref_name }}