Build time on CI went to the roof

[cedounet]

Between 25 min and 1 hour? I understand we build a new docker image every time... Surely there is lot we could cache?

[Hendrik Kleinwaechter]

Agreed. The caching on Github is not ideal. I found this issue - maybe it can help? actions/cache#31

Especially near the bottom:

      - name: Build and push
        id: docker_build
        uses: docker/build-push-action@v2
        with:
          push: true
          file: Dockerfile.prod
          tags: ${{ steps.meta.outputs.tags }}
          labels: ${{ steps.meta.outputs.labels }}
          cache-from: |
            type=registry,ref=${{ steps.meta.outputs.tags }}
            type=registry,ref=${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:master
          cache-to: type=inline

[cedounet]

My idea would be that we only build docker image "manually". I.e. we build one and keep using it for the next 6 months.... at some point, because bug-fix in TeXlive or simply to avoid code rot.

[Hendrik Kleinwaechter]

Sounds good - I will create a PR soon!

[cedounet]

modulo #349 this is better when pushing to branch or making a PR.

Merge to main still is a problem by the look of it (>30 min)

[Hendrik Kleinwaechter]

Closing this for now. Feel free to open again!