From 4ae08ad5157fa85812d37b75a48aa85eeaa37fed Mon Sep 17 00:00:00 2001 From: Hamish Mackenzie Date: Thu, 22 May 2025 14:39:54 +1200 Subject: [PATCH] Fix gh-pages update --- scripts/update-docs.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update-docs.nix b/scripts/update-docs.nix index 0adcf47258..133171582b 100644 --- a/scripts/update-docs.nix +++ b/scripts/update-docs.nix @@ -40,7 +40,7 @@ in use_ssh_key ${sshKey} - if [ "''${BUILDKITE_BRANCH:-}" = master ]; then + if [ "''${GITHUB_REF:-}" = refs/heads/master ]; then git push ${repo} HEAD:gh-pages fi '')