Fix bug which fails push

infocusp · Apr 20, 2024 · 522c61c · 522c61c
1 parent a9b2d9d
commit 522c61c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/update_leaderboard.yaml b/.github/workflows/update_leaderboard.yaml
@@ -6,6 +6,8 @@ on:
       - development
     types:
       [closed]
+permissions:
+  contents: write      
 
 jobs:
   leaderboard_evaluation: