[CI] Set actions: write permission to GarbageCollectCICache github …

…action Also update the bash script
llvm · Jun 20, 2024 · 13ba02f · 13ba02f
1 parent 40992c0
commit 13ba02f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/garbageCollectCICache.yml b/.github/workflows/garbageCollectCICache.yml
@@ -6,6 +6,9 @@ on:
   schedule:
     - cron: 0 */4 * * *
 
+permissions:
+  actions: write
+
 jobs:
   run-script:
     # Clone the CIRCT repo and its submodules. Do shallow clone to save clone

diff --git a/utils/delete-cache.sh b/utils/delete-cache.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 while read -r id; do
   gh cache delete $id