Skip to content

Commit

Permalink
Simplify bender and morty installation in CI
Browse files Browse the repository at this point in the history
  • Loading branch information
micprog committed Jul 19, 2023
1 parent d1ffe14 commit 43eb03b
Showing 1 changed file with 7 additions and 25 deletions.
32 changes: 7 additions & 25 deletions .github/workflows/doc.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,34 +21,16 @@ jobs:
with:
persist-credentials: false

- name: Cache cargo registry
uses: actions/cache@v1
- name: Install Bender
uses: pulp-platform/pulp-actions/bender-install@v2
with:
path: ~/.cargo/registry
key: ubuntu-latest-cargo-registry-${{ hashFiles('.github/workflows/doc.yml') }}
version: 0.27.2

- name: Cache cargo index
uses: actions/cache@v1
with:
path: ~/.cargo/git
key: ubuntu-latest-cargo-index-${{ hashFiles('.github/workflows/doc.yml') }}

- name: Cache cargo binaries
uses: actions/cache@v1
with:
path: ~/.cargo/bin
key: ubuntu-latest-cargo-binaries-${{ hashFiles('.github/workflows/doc.yml') }}

- name: Install Bender and Morty
- 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
sudo mkdir -p /tools/morty && sudo chmod 777 /tools/morty
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: |
Expand Down

0 comments on commit 43eb03b

Please sign in to comment.