From 95b65da99be6f33d45a4b4c7ecbb08d0589a8117 Mon Sep 17 00:00:00 2001
From: Michael Rogenmoser <michael@rogenmoser.us>
Date: Wed, 19 Jul 2023 17:16:10 +0200
Subject: [PATCH] Simplify bender and morty installation in CI

---
 .github/workflows/doc.yml | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index a6e2dd9ed..8332b283f 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -39,16 +39,15 @@ jobs:
           path: ~/.cargo/bin
           key: ubuntu-latest-cargo-binaries-${{ hashFiles('.github/workflows/doc.yml') }}
 
-      - name: Install Bender and Morty
+      - name: Install Bender
+        uses: pulp-platform/pulp-actions/bender-install@v2
+        with:
+          version: 0.27.2
+
+      - name: Install Morty
         run: |
-          rustup update stable --no-self-update && rustup default stable
-          if ! $(which bender); then
-            cargo install bender --version 0.23.1
-          fi
-          if ! $(which morty); then
-            cargo install --git https://github.com/zarubaf/morty --rev 4855119c1378d45d9ac35cfa525725d2786e68f3
-          fi
-        shell: bash
+          cd /tools/morty && curl --proto '=https' --tlsv1.2 https://pulp-platform.github.io/morty/init -sSf | bash -s -- 0.9.0
+          echo "PATH=/tools/morty:$PATH" >> ${GITHUB_ENV}
 
       - name: Build documentation
         run: |