Run cli-local on CI.

sigp · Oct 22, 2024 · 38bc984 · 38bc984
1 parent 7baaacd
commit 38bc984
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/test-suite.yml b/.github/workflows/test-suite.yml
@@ -420,7 +420,7 @@ jobs:
         channel: stable
         cache-target: release
     - name: Run Makefile to trigger the bash script
-      run: make cli
+      run: make cli-local
   # This job succeeds ONLY IF all others succeed. It is used by the merge queue to determine whether
   # a PR is safe to merge. New jobs should be added here.
   test-suite-success:

diff --git a/Makefile b/Makefile
@@ -183,9 +183,15 @@ test-exec-engine:
 # test vectors.
 test: test-release
 
+# Updates the CLI help text pages in the Lighthouse book, building with Docker.
+cli:
+	docker run --rm --user=root \
+	-v ${PWD}:/home/runner/actions-runner/lighthouse sigmaprime/github-runner \
+	bash -c 'cd lighthouse && make && ./scripts/cli.sh'
+
 # Updates the CLI help text pages in the Lighthouse book, building using local
 # `cargo`.
-cli:
+cli-local:
 	make && ./scripts/cli.sh
 
 # Check for markdown files