Spaces:
Running
Running
Jeremiah Lowin commited on
Fix Marvin workflow to support development tools (#1537)
Browse files- .github/workflows/marvin.yml +24 -1
.github/workflows/marvin.yml
CHANGED
|
@@ -31,6 +31,29 @@ jobs:
|
|
| 31 |
steps:
|
| 32 |
- uses: actions/checkout@v4
|
| 33 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 34 |
- name: Generate Marvin App token
|
| 35 |
id: marvin-token
|
| 36 |
uses: actions/create-github-app-token@v2
|
|
@@ -47,6 +70,6 @@ jobs:
|
|
| 47 |
mode: tag
|
| 48 |
trigger_phrase: "/marvin"
|
| 49 |
allowed_bots: "*"
|
| 50 |
-
allowed_tools: "WebSearch,WebFetch,mcp__github__add_issue_comment,mcp__github__create_issue,mcp__github__get_issue,mcp__github__list_issues,mcp__github__search_issues,mcp__github__update_issue,mcp__github__update_issue_comment,mcp__github__create_pull_request,mcp__github__get_pull_request,mcp__github__get_pull_request_comments,mcp__github__get_pull_request_files,mcp__github__get_pull_request_reviews,mcp__github__get_pull_request_status,mcp__github__list_pull_requests,mcp__github__update_pull_request,mcp__github__update_pull_request_branch,mcp__github__update_pull_request_comment,mcp__github__merge_pull_request"
|
| 51 |
additional_permissions: |
|
| 52 |
actions: read
|
|
|
|
| 31 |
steps:
|
| 32 |
- uses: actions/checkout@v4
|
| 33 |
|
| 34 |
+
# Set up Python environment
|
| 35 |
+
- name: Set up Python
|
| 36 |
+
uses: actions/setup-python@v5
|
| 37 |
+
with:
|
| 38 |
+
python-version: "3.12"
|
| 39 |
+
|
| 40 |
+
# Install UV package manager
|
| 41 |
+
- name: Install UV
|
| 42 |
+
uses: astral-sh/setup-uv@v5
|
| 43 |
+
with:
|
| 44 |
+
enable-cache: true
|
| 45 |
+
cache-dependency-glob: "uv.lock"
|
| 46 |
+
|
| 47 |
+
# Install project dependencies
|
| 48 |
+
- name: Install dependencies
|
| 49 |
+
run: uv sync --dev
|
| 50 |
+
|
| 51 |
+
# Install pre-commit hooks automatically
|
| 52 |
+
- name: Install pre-commit hooks
|
| 53 |
+
run: |
|
| 54 |
+
uv run pre-commit install
|
| 55 |
+
echo "✅ Pre-commit hooks installed"
|
| 56 |
+
|
| 57 |
- name: Generate Marvin App token
|
| 58 |
id: marvin-token
|
| 59 |
uses: actions/create-github-app-token@v2
|
|
|
|
| 70 |
mode: tag
|
| 71 |
trigger_phrase: "/marvin"
|
| 72 |
allowed_bots: "*"
|
| 73 |
+
allowed_tools: "WebSearch,WebFetch,Bash(uv:*),Bash(pre-commit:*),Bash(pytest:*),Bash(ruff:*),Bash(pyright:*),Bash(git:*),Bash(gh:*),mcp__github__add_issue_comment,mcp__github__create_issue,mcp__github__get_issue,mcp__github__list_issues,mcp__github__search_issues,mcp__github__update_issue,mcp__github__update_issue_comment,mcp__github__create_pull_request,mcp__github__get_pull_request,mcp__github__get_pull_request_comments,mcp__github__get_pull_request_files,mcp__github__get_pull_request_reviews,mcp__github__get_pull_request_status,mcp__github__list_pull_requests,mcp__github__update_pull_request,mcp__github__update_pull_request_branch,mcp__github__update_pull_request_comment,mcp__github__merge_pull_request"
|
| 74 |
additional_permissions: |
|
| 75 |
actions: read
|