update SpacemanDMM from 1.8 to 1.10 (#37589)

This commit is contained in:
ShiftyRail
2025-05-17 09:54:06 +01:00
committed by GitHub
parent c5df43f3c6
commit a1c9bc4b2a

View File

@@ -49,7 +49,7 @@ jobs:
#TODO: Cache Dreamchecker install
- name: Run dreamchecker
run: |
SPACEMAN_DMM_GIT_TAG="suite-1.8" tools/travis/install_spaceman_dmm.sh dreamchecker
SPACEMAN_DMM_GIT_TAG="suite-1.10" tools/travis/install_spaceman_dmm.sh dreamchecker
~/dreamchecker 2>&1 | bash tools/ci/annotate_dm.sh
- name: Run map checker