diff --git a/.github/scripts/update_leaderboard.py b/.github/scripts/update_leaderboard.py index 3d49f6d..ec3feb7 100644 --- a/.github/scripts/update_leaderboard.py +++ b/.github/scripts/update_leaderboard.py @@ -19,6 +19,7 @@ def get_closed_prs(): headers = {} if GITHUB_TOKEN: + print(GITHUB_TOKEN) headers = {"Authorization": f"token {GITHUB_TOKEN}"} prs = []