fix

jngrad · Dec 18, 2024 · 6b3bdd7 · 6b3bdd7
1 parent 939a1e5
commit 6b3bdd7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -10,13 +10,14 @@ jobs:
   deploy_docs:
     runs-on: ubuntu-24.04
     if: ${{ github.repository == 'jngrad/espresso' }}
-    environment: deploy_documentation
+    environment: deploy
     steps:
       - name: Install dependencies
-        run: sudo apt-get install --no-install-recommends -y curl rsync unzip make grep sed pandoc python3 jq ssh
+        run: sudo apt-get install --no-install-recommends -y curl rsync unzip make grep sed python3 jq ssh
       - name: Checkout
         uses: actions/checkout@main
       - name: Deploy documentation
         env:
           GITLAB_READ_API: ${{ secrets.GITLAB_READ_API }}
+          GITLAB_READ_AP: ${{ secrets.GITLAB_READ_AP }}
         run: maintainer/CI/make_gh_pages.sh
diff --git a/maintainer/CI/make_gh_pages.sh b/maintainer/CI/make_gh_pages.sh
@@ -66,6 +66,7 @@ git config --global user.email "noreply@icp.uni-stuttgart.de"
 git config --global user.name "espresso-ci"
 git checkout -b new_main remotes/origin/releases
 
+exit 0
 # generate the landing page by merging the branch containing the
 # HTML theme and Markdown files, then convert them to HTML files
 git merge --quiet --commit --no-edit --allow-unrelated-histories remotes/origin/landing_page