Move deps script to ubuntu

model-checking · Jun 26, 2023 · 009fca0 · 009fca0
1 parent 25c5832
commit 009fca0
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -128,7 +128,7 @@ jobs:
         run: ./scripts/ci/detect_bookrunner_failures.sh build/output/latest/html/bookrunner.txt
 
       - name: Install book dependencies
-        run: ./scripts/setup/install_doc_deps.sh
+        run: ./scripts/setup/ubuntu/install_doc_deps.sh
 
       # On one OS only, build the documentation, too.
       - name: Build Documentation

diff --git a/scripts/setup/install_doc_deps.sh → scripts/setup/ubuntu/install_doc_deps.sh b/scripts/setup/install_doc_deps.sh → scripts/setup/ubuntu/install_doc_deps.sh