.

Author: kim-em

.github/workflows/nightly_detect_failure.yml

@@ -187,8 +187,8 @@ jobs:
           // Get branch SHA first for durable URL
           try {
             const branchResponse = await github.rest.repos.getBranch({
-              owner: context.repo.owner,
-              repo: context.repo.repo,
+              owner: 'leanprover-community',
+              repo: 'mathlib4-nightly-testing'
               branch: branchName
             });
             sha = branchResponse.data.commit.sha;