diff --git a/scripts/debugging/run_actions.py b/scripts/debugging/run_actions.py index 79f9cf029..f5a560296 100644 --- a/scripts/debugging/run_actions.py +++ b/scripts/debugging/run_actions.py @@ -21,3 +21,6 @@ if __name__ == "__main__": else: print("*" * 100) print(f"Skipping {step}") + + # Add checks for building documentation + subprocess.call("cd docs/; make html; cd ../", shell=True)