change perms (#6)

* Update runner pool * remove secrets * remove environment * fix git ignore * chmod +x on scriotp * change perms Signed-off-by: Simon Davies <[email protected]> * change perms Signed-off-by: Simon Davies <[email protected]> --------- Signed-off-by: Simon Davies <[email protected]> Co-authored-by: Ludvig Liljenberg <[email protected]>
hyperlight-dev · Nov 5, 2024 · 66ff3db · 66ff3db
1 parent 8146a80
commit 66ff3db
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/dev/clean-github-artifacts.sh b/dev/clean-github-artifacts.sh
diff --git a/dev/sync-project-board.sh b/dev/sync-project-board.sh