diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 13ad49a0ac609fe30beeae2850fc31b760538823..6706f1719850b46d9abff6acb90bd50862ce4d01 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -37,12 +37,22 @@ jobs: with: username: ${{ secrets.DOCKERHUB_USERNAME }} password: ${{ secrets.DOCKERHUB_TOKEN }} + - name: Login to Private registry + if: github.event_name != 'pull_request' + uses: docker/login-action@v2 + with: + registry: ${{ secrets.PRIVATEHUB_HOSTNAME }} + username: ${{ secrets.PRIVATEHUB_USERNAME }} + password: ${{ secrets.PRIVATEHUB_TOKEN }} - uses: webfactory/ssh-agent@v0.7.0 with: ssh-private-key: ${{ secrets.SSH_PRIVATE_KEY }} - name: Set up Docker Buildx uses: docker/setup-buildx-action@v2 - with: + with: + config-inline: | + [registry."docker.io"] + mirrors = ["${{ secrets.DOCKERHUB_PROXY_HOSTNAME }}"] driver-opts: | network=host buildkitd-flags: | @@ -64,6 +74,8 @@ jobs: push: ${{ github.event_name != 'pull_request' }} tags: ${{ steps.meta.outputs.tags }} labels: ${{ steps.meta.outputs.labels }} + cache-from: type=registry,ref=${{ secrets.PRIVATEHUB_HOSTNAME }}/${{ secrets.PRIVATEHUB_USERNAME }}/${{ env.REPOSITORY_NAME }}:buildcache + cache-to: type=registry,ref=${{ secrets.PRIVATEHUB_HOSTNAME }}/${{ secrets.PRIVATEHUB_USERNAME }}/${{ env.REPOSITORY_NAME }}:buildcache,mode=max - name: Update repo description uses: peter-evans/dockerhub-description@v3 with: diff --git a/Artefacts/list_pip b/Artefacts/list_pip index 5e17c4ebeb961f4fd88a3eaa07869afba79fa9f6..86050511c0127dca0b37e944770ff01beded7865 100644 --- a/Artefacts/list_pip +++ b/Artefacts/list_pip @@ -1,6 +1,7 @@ jinja-yaml-magic jupyter-book jupyterlab-myst +jupyterlab_rise jupyter-server-proxy jupyterlab_latex jupyterlab_widgets @@ -14,4 +15,4 @@ nbgitpuller iplantuml sphinx-inline-tabs sphinxcontrib-plantuml -sphinxcontrib-svg2pdfconverter \ No newline at end of file +sphinxcontrib-svg2pdfconverter