Merge branch 'master' into develop

Author: Ralf Grubenmann

.github/workflows/test_deploy.yml

@@ -588,13 +588,13 @@ jobs:
           echo "GIT_USER=Renku Bot" >> $GITHUB_ENV
           echo "GIT_EMAIL=renku@datascience.ch" >> $GITHUB_ENV
       - name: Build and push images
-        uses: SwissDataScienceCenter/renku-actions/publish-chartpress-images@v1.7.0
+        uses: SwissDataScienceCenter/renku-actions/publish-chartpress-images@v1.9.0
         env:
           GITHUB_TOKEN: ${{ secrets.RENKUBOT_GITHUB_TOKEN }}
           DOCKER_USERNAME: ${{ secrets.RENKU_DOCKER_USERNAME }}
           DOCKER_PASSWORD: ${{ secrets.RENKU_DOCKER_PASSWORD }}
       - name: Update component version
-        uses: SwissDataScienceCenter/renku-actions/update-component-version@v1.7.0
+        uses: SwissDataScienceCenter/renku-actions/update-component-version@v1.9.0
         env:
           COMPONENT_NAME: renku-core
           GITHUB_TOKEN: ${{ secrets.RENKUBOT_GITHUB_TOKEN }}