Fix building muon in the CI pipeline

diff --git a/.ci/muon/run.sh b/.ci/muon/run.sh
index bba42cf746a77de2d73f71ab404873b5e177daa8..1fcaa69435bf89312b7b432624c4e80b953820e7 100755 (executable)
--- a/.ci/muon/run.sh
+++ b/.ci/muon/run.sh
@@ -34,8 +34,8 @@ header 'Fetch and build muon'
 git clone --depth=1 $git_muon ~/muon
 pushd ~/muon
 ./bootstrap.sh build
-./build/muon setup build
-samu -C build
+./build/muon-bootstrap setup build
+./build/muon-bootstrap -C build samu
 ./build/muon -C build install
 popd