diff --git a/.github/workflows/generate_documentation.yml b/.github/workflows/generate_documentation.yml index 52681bc1f297d..9df24532062bf 100644 --- a/.github/workflows/generate_documentation.yml +++ b/.github/workflows/generate_documentation.yml @@ -14,7 +14,7 @@ jobs: path: $HOME/SpacemanDMM key: ${{ runner.os }}-spacemandmm - name: Install SpacemanDMM - run: bash tools/ci/install_spaceman_dmm.sh dmdoc + run: bash tools/ci/build_spaceman_dmm.sh dmdoc - name: Generate documentation run: | ~/dmdoc diff --git a/dependencies.sh b/dependencies.sh index c55c685245fe5..b8d339447e9b9 100644 --- a/dependencies.sh +++ b/dependencies.sh @@ -16,6 +16,7 @@ export NODE_VERSION_PRECISE=12.20.0 # SpacemanDMM git tag export SPACEMAN_DMM_VERSION=suite-1.7 +export SPACEMAN_DMM_COMMIT_HASH=3588de97ff09fdd02d96f178392f3c59b19ebfc4 # Extools git tag export EXTOOLS_VERSION=v0.0.7