From 5944f7e03c6fa68c19ffc98ab7feefcad06e2ac8 Mon Sep 17 00:00:00 2001 From: Eric Arellano <14852634+Eric-Arellano@users.noreply.github.com> Date: Wed, 21 Feb 2024 15:36:15 -0500 Subject: [PATCH] Better debugging --- example_docs/docs/conf.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/example_docs/docs/conf.py b/example_docs/docs/conf.py index c522f0da..e6b7ceb7 100644 --- a/example_docs/docs/conf.py +++ b/example_docs/docs/conf.py @@ -108,10 +108,11 @@ def determine_github_branch() -> str: We need to decide whether to use `stable/` vs. `main` for dev builds. Refer to https://docs.github.com/en/actions/learn-github-actions/variables for how we determine this with GitHub Actions. """ + print(os.environ) # If not `GITHUB_REF_NAME` is not set, default to `main`. This # is relevant for local builds. if "GITHUB_REF_NAME" not in os.environ: - return "main" + return "" # PR workflows set the branch they're merging into. if base_ref := os.environ.get("GITHUB_BASE_REF"):