tesing github enviorment variable name

eseverett · Mar 6, 2024 · b1d7f65 · b1d7f65
1 parent 1a4267b
commit b1d7f65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/extensions/pdf_button.py b/docs/source/extensions/pdf_button.py
@@ -19,7 +19,7 @@ def run(self):
 
         # Check if explicitly marked as a local build
         on_gitlab = os.environ.get('GITLAB_CI') == 'true'
-        on_github = os.environ.get('github-pages') == 'true'
+        on_github = os.environ.get('GITHUB_ACTIONS') == 'true'
 
         if on_gitlab:
             pdf_path = f'/_static/{pdf_filename}'