Add another comment

JuliaStats · Mar 8, 2024 · 868cb05 · 868cb05
1 parent 97609e5
commit 868cb05
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -52,6 +52,9 @@ jobs:
           # 2. If this CI run is a PR run and the PR is not from a fork, we set `fail_ci_if_error` to `true`.
           # 3. If this CI run is a PR run and the PR is from a fork, we set `fail_ci_if_error` to `false`.
           fail_ci_if_error: ${{ (github.event_name != 'pull_request') || (github.repository == github.event.pull_request.head.repo.full_name) }}
+          # `${{ secrets.CODECOV_TOKEN }}` will be empty if the PR is from a fork,
+          # because GitHub does not make secrets available if the PR is from a fork
+          # and the base repo is public.
           token: ${{ secrets.CODECOV_TOKEN }}
   docs:
     permissions: