From f3c6d125138911fb3df417437bfa16db66d364ec Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Thu, 30 Mar 2023 14:52:42 +0200
Subject: [PATCH] adds cache, proxy and slides.

---
 .github/workflows/ci.yml | 14 +++++++++++++-
 Artefacts/list_pip       |  3 ++-
 2 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 13ad49a..6706f17 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 5e17c4e..8605051 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
-- 
GitLab