Merge branch 'main' into issue-423-csv_separator

Author: Breakthrough

.github/workflows/generate-docs.yml

@@ -58,6 +58,7 @@ jobs:
             echo "CLI documentation is of date: docs/cli.rst does not match output after running docs/generate_cli_docs.py!"
             echo "Re-run `python docs/generate_cli_docs.py` to update and commit the result."
             exit 1
+          fi
 
       - name: Generate Docs
         run: |