added repo bootstrap tool #19

Merged
JMR-dev merged 13 commits from feat-add-repo-bootstrap-tool into main 2026-05-26 20:20:28 +00:00
Showing only changes of commit a2f36665a3 - Show all commits
+3
View File
@@ -53,6 +53,9 @@ jobs:
mkdir -p ~/.pyenv
- name: Run bootstrap tool
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
echo y | ./bootstrap_environment --only custom --no-vm --no-ai