You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: workflows/daily-perf-improver.md
+4-2Lines changed: 4 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -8,12 +8,16 @@ on:
8
8
9
9
timeout_minutes: 30
10
10
11
+
permissions: read-all
12
+
11
13
safe-outputs:
12
14
create-issue:
15
+
title-prefix: "${{ github.workflow }}"
13
16
max: 5
14
17
add-issue-comment:
15
18
max: 5
16
19
create-pull-request:
20
+
draft: true
17
21
18
22
tools:
19
23
github:
@@ -186,8 +190,6 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic coder for
186
190
187
191
5e. Add a very brief comment to the issue from step 1a if it exists, saying you have worked on the particular performance goal and linking to the pull request you created.
188
192
189
-
5f. If you were able to push your branch to the repo, but unable to create a pull request, then the GitHub Actions setting "Choose whether GitHub Actions can create pull requests" may be off. Create an issue describing the problem with a link to https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/enabling-features-for-your-repository/managing-github-actions-settings-for-a-repository#preventing-github-actions-from-creating-or-approving-pull-requests and exit the entire workflow.
190
-
191
193
6. If you didn't succeed in improving performance, create an issue with title starting with "${{ github.workflow }}", summarizing similar information to above.
192
194
193
195
7. If you encounter any unexpected failures or have questions, add comments to the pull request or issue to seek clarification or assistance.
Copy file name to clipboardExpand all lines: workflows/daily-plan.md
+15-17Lines changed: 15 additions & 17 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -8,20 +8,18 @@ on:
8
8
9
9
stop-after: +30d# workflow will no longer trigger after 30 days. Remove this and recompile to run indefinitely
10
10
11
-
permissions:
12
-
issues: write # needed to create or update issues
13
-
contents: read
14
-
pull-requests: read
11
+
permissions: read-all
12
+
13
+
safe-outputs:
14
+
create-issue: # needed to create the project plan issue
15
+
title-prefix: "${{ github.workflow }}"
16
+
update-issue: # needed to update the project plan issue if it already exists
17
+
target: "*"# can update one single issue
18
+
body: # can update the issue body only
15
19
16
20
timeout_minutes: 15
17
21
18
22
tools:
19
-
github:
20
-
allowed:
21
-
[
22
-
create_issue,
23
-
update_issue,
24
-
]
25
23
claude:
26
24
allowed:
27
25
WebFetch:
@@ -36,21 +34,21 @@ Your job is to act as a planner for the GitHub repository ${{ github.repository
36
34
37
35
1. First study the state of the repository including, open issues, pull requests, completed issues.
38
36
39
-
- As part of this, look for the issue labelled "project-plan", which is the existing project plan. Read the plan, and any comments on the plan. If no issue is labelled "project-plan" ignore this step.
37
+
1a. As part of this, look for the open issue labelled "project-plan", which is the existing project plan. Read the plan, and any comments on the plan. If no issue is labelled "project-plan" ignore this step.
40
38
41
-
- You can read code, search the web and use other tools to help you understand the project and its requirements.
39
+
1b. You can read code, search the web and use other tools to help you understand the project and its requirements.
42
40
43
41
2. Formulate a plan for the remaining work to achieve the objectives of the project.
44
42
45
-
3. Create or update a single "project plan" issue, ensuring it is labelled with "project-plan".
43
+
2a. The project plan should be a clear, concise, succinct summary of the current state of the project, including the issues that need to be completed, their priority, and any dependencies between them.
46
44
47
-
- The project plan should be a clear, concise, succinct summary of the current state of the project, including the issues that need to be completed, their priority, and any dependencies between them.
45
+
2b. The project plan should be written into the issue body itself, not as a comment. If comments have been added to the project plan, take them into account and note this in the project plan. Never add comments to the project plan issue.
48
46
49
-
- The project plan should be written into the issue body itself, not as a comment. If comments have been added to the project plan, take them into account and note this in the project plan. Never add comments to the project plan issue.
47
+
2c. In the plan, list suggested issues to create to match the proposed updated plan. Don't create any issues, just list the suggestions. Do this by showing `gh` commands to create the issues with labels and complete bodies, but don't actually create them. Don't include suggestions for issues that already exist, only new things required as part of the plan!
50
48
51
-
- In the plan, list suggested issues to create to match the proposed updated plan. Don't create any issues, just list the suggestions. Do this by showing `gh` commands to create the issues with labels and complete bodies, but don't actually create them. Don't include suggestions for issues that already exist, only new things required as part of the plan!
49
+
3. You will either create or update the planning issue so it contains a project plan in its body.
52
50
53
-
- Do not create any other issues, just the project planissue. Do not comment on any issues or pull requests or make any other changes to the repository.
51
+
3a. If in step (1a) you found a "project plan" issue, update its body with the project plan. If in step (1a) you didn't find a "project issue", create one with an appropriate title starting with "${{ github.workflow }}", using the project plan as the body, and ensure the issue is labelled with "project-plan".
Copy file name to clipboardExpand all lines: workflows/daily-progress.md
-2Lines changed: 0 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -147,8 +147,6 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic coder for
147
147
148
148
5e. Add a very brief comment to the issue from step 1a if it exists, saying you have worked on the particular goal and linking to the pull request you created.
149
149
150
-
5f. If you were able to push your branch to the repo, but unable to create a pull request, then the GitHub Actions setting "Choose whether GitHub Actions can create pull requests" may be off. Create an issue describing the problem with a link to https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/enabling-features-for-your-repository/managing-github-actions-settings-for-a-repository#preventing-github-actions-from-creating-or-approving-pull-requests and exit the entire workflow.
151
-
152
150
6. If you didn't succeed, create an issue with title starting with "${{ github.workflow }}", summarizing similar information to above.
153
151
154
152
7. If you encounter any unexpected failures or have questions, add comments to the pull request or issue to seek clarification or assistance.
Copy file name to clipboardExpand all lines: workflows/daily-qa.md
+4-1Lines changed: 4 additions & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -9,8 +9,11 @@ on:
9
9
10
10
timeout_minutes: 15
11
11
12
+
permissions: read-all
13
+
12
14
safe-outputs:
13
15
create-issue:
16
+
title-prefix: "${{ github.workflow }}"
14
17
add-issue-comment:
15
18
max: 5
16
19
@@ -70,7 +73,7 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic QA enginee
70
73
71
74
4. Search for any previous "Daily QA Report" open issues in the repository. Read the latest one. If the status is essentially the same as the current state of the repository, then add a very brief comment to that issue saying you didn't find anything new and exit. Close all the previous open Daily QA Report issues.
72
75
73
-
5. Create a new issue with title starting with "Daily QA Report", very very briefly summarizing the problems you found and the actions you took. Use note form. Include links to any issues you created or commented on, and any pull requests you created. In a collapsed section highlight any bash commands you used, any web searches you performed, and any web pages you visited that were relevant to your work. If you tried to run bash commands but were refused permission, then include a list of those at the end of the issue.
76
+
5. Create a new issue with title starting with "${{ github.workflow }}", very very briefly summarizing the problems you found and the actions you took. Use note form. Include links to any issues you created or commented on, and any pull requests you created. In a collapsed section highlight any bash commands you used, any web searches you performed, and any web pages you visited that were relevant to your work. If you tried to run bash commands but were refused permission, then include a list of those at the end of the issue.
74
77
75
78
6. Create a file in the root directory of the repo called "workflow-complete.txt" with the text "Workflow completed successfully".
Copy file name to clipboardExpand all lines: workflows/daily-team-status.md
+6-3Lines changed: 6 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -7,13 +7,16 @@ on:
7
7
8
8
stop-after: +30d# workflow will no longer trigger after 30 days. Remove this and recompile to run indefinitely
9
9
10
+
permissions: read-all
11
+
10
12
safe-outputs:
11
13
create-issue:
14
+
title-prefix: "${{ github.workflow }}"
15
+
update-issue:
16
+
target: "*"# can update one single issue
12
17
13
18
timeout_minutes: 15
14
19
15
-
permissions: read-all
16
-
17
20
tools:
18
21
claude:
19
22
allowed:
@@ -57,7 +60,7 @@ tools:
57
60
* all files you read to generate the data for the report
58
61
* places you didn't have time to read or search, but would have liked to
59
62
60
-
Create a new GitHub issue with title starting with "Daily Team Status" containing a markdown report with your findings. Use links where appropriate.
63
+
Create a new GitHub issue with title starting with "${{ github.workflow }}" containing a markdown report with your findings. Use links where appropriate.
61
64
62
65
Only a new issue should be created, no existing issues should be adjusted.
Copy file name to clipboardExpand all lines: workflows/daily-test-improver.md
+12-23Lines changed: 12 additions & 23 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -9,27 +9,18 @@ on:
9
9
10
10
timeout_minutes: 30
11
11
12
-
permissions:
13
-
contents: write # needed to create branches, files, and pull requests in this repo without a fork
14
-
issues: write # needed to create report issue
15
-
pull-requests: write # needed to create results pull request
16
-
actions: read
17
-
checks: read
18
-
statuses: read
12
+
permissions: read-all
13
+
14
+
safe-outputs:
15
+
create-issue: # needed to create report issue
16
+
title-prefix: "${{ github.workflow }}"
17
+
update-issue: # needed to update the report issue if it already exists
18
+
target: "*"# can update any one single issue
19
+
body: # can update the issue body only
20
+
create-pull-request: # needed to create results pull request
21
+
draft: true
19
22
20
23
tools:
21
-
github:
22
-
allowed:
23
-
[
24
-
create_issue,
25
-
update_issue,
26
-
add_issue_comment,
27
-
create_or_update_file,
28
-
create_branch,
29
-
delete_file,
30
-
push_files,
31
-
update_pull_request,
32
-
]
33
24
claude:
34
25
allowed:
35
26
Edit:
@@ -119,9 +110,9 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic coder for
119
110
120
111
3d. Check for any other pull requests you created before with title starting with "${{ github.workflow }}". Don't work on adding any tests that overlap with what was done there.
121
112
122
-
3e. Based on all of the above, select multiple areas of relatively low coverage to work on that appear tractable for further test additions.
113
+
3e. Based on all of the above, select an area of relatively low coverage to work on that appear tractable for further test additions.
123
114
124
-
4.For each area identified, do the following:
115
+
4.Do the following:
125
116
126
117
4a. Create a new branch
127
118
@@ -159,8 +150,6 @@ Your name is ${{ github.workflow }}. Your job is to act as an agentic coder for
159
150
160
151
4i. Add a very brief comment (at most two sentences) to the issue from step 1a if it exists, saying you have worked on this area and created a pull request, with a link to the pull request.
161
152
162
-
4j. If you were able to push your branch to the repo, but unable to create a pull request, then the GitHub Actions setting "Choose whether GitHub Actions can create pull requests" may be off. Create an issue describing the problem with a link to https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/enabling-features-for-your-repository/managing-github-actions-settings-for-a-repository#preventing-github-actions-from-creating-or-approving-pull-requests and exit the entire workflow.
163
-
164
153
5. If you think you found bugs in the code while adding tests, also create one single combined issue for all of them, starting the title of the issue with "${{ github.workflow }}". Do not include fixes in your pull requests unless you are 100% certain the bug is real and the fix is right.
165
154
166
155
6. If you encounter any problems or have questions, include this information in the pull request or issue to seek clarification or assistance.
0 commit comments