Skip to content

Commit 9f80ea6

Browse files
authored
Merge branch 'main' into proper-async
2 parents 325ec7d + 8cb7209 commit 9f80ea6

14 files changed

Lines changed: 786 additions & 565 deletions

File tree

.github/workflows/claude.yml

Lines changed: 16 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -42,11 +42,17 @@ jobs:
4242
uv venv --seed
4343
uv sync
4444
45+
- name: Configure AWS Credentials
46+
uses: aws-actions/configure-aws-credentials@v4
47+
with:
48+
role-to-assume: ${{ secrets.AWS_ROLE_TO_ASSUME }}
49+
aws-region: ${{ secrets.AWS_REGION }}
50+
4551
- name: Run Claude Code
4652
id: claude
4753
uses: anthropics/claude-code-action@v1
4854
with:
49-
use_foundry: "true"
55+
use_bedrock: "true"
5056
use_sticky_comment: true
5157
allowed_bots: "claude[bot],codeflash-ai[bot]"
5258
prompt: |
@@ -173,12 +179,9 @@ jobs:
173179
2. For each optimization PR:
174180
- Check if CI is passing: `gh pr checks <number>`
175181
- If all checks pass, merge it: `gh pr merge <number> --squash --delete-branch`
176-
claude_args: '--model claude-opus-4-6 --allowedTools "mcp__github_inline_comment__create_inline_comment,Bash(gh pr comment:*),Bash(gh pr diff:*),Bash(gh pr view:*),Bash(gh pr list:*),Bash(gh pr checks:*),Bash(gh pr merge:*),Bash(gh issue view:*),Bash(gh issue list:*),Bash(gh api:*),Bash(uv run prek *),Bash(uv run mypy *),Bash(uv run coverage *),Bash(uv run pytest *),Bash(git status*),Bash(git add *),Bash(git commit *),Bash(git push*),Bash(git diff *),Bash(git checkout *),Read,Glob,Grep,Edit"'
182+
claude_args: '--model us.anthropic.claude-opus-4-6-v1 --allowedTools "mcp__github_inline_comment__create_inline_comment,Bash(gh pr comment:*),Bash(gh pr diff:*),Bash(gh pr view:*),Bash(gh pr list:*),Bash(gh pr checks:*),Bash(gh pr merge:*),Bash(gh issue view:*),Bash(gh issue list:*),Bash(gh api:*),Bash(uv run prek *),Bash(uv run mypy *),Bash(uv run coverage *),Bash(uv run pytest *),Bash(git status*),Bash(git add *),Bash(git commit *),Bash(git push*),Bash(git diff *),Bash(git checkout *),Read,Glob,Grep,Edit"'
177183
additional_permissions: |
178184
actions: read
179-
env:
180-
ANTHROPIC_FOUNDRY_API_KEY: ${{ secrets.AZURE_ANTHROPIC_API_KEY }}
181-
ANTHROPIC_FOUNDRY_BASE_URL: ${{ secrets.AZURE_ANTHROPIC_ENDPOINT }}
182185
183186
# @claude mentions (can edit and push) - restricted to maintainers only
184187
claude-mention:
@@ -240,14 +243,17 @@ jobs:
240243
uv venv --seed
241244
uv sync
242245
246+
- name: Configure AWS Credentials
247+
uses: aws-actions/configure-aws-credentials@v4
248+
with:
249+
role-to-assume: ${{ secrets.AWS_ROLE_TO_ASSUME }}
250+
aws-region: ${{ secrets.AWS_REGION }}
251+
243252
- name: Run Claude Code
244253
id: claude
245254
uses: anthropics/claude-code-action@v1
246255
with:
247-
use_foundry: "true"
248-
claude_args: '--model claude-opus-4-6 --allowedTools "Read,Edit,Write,Glob,Grep,Bash(git status*),Bash(git diff*),Bash(git add *),Bash(git commit *),Bash(git push*),Bash(git log*),Bash(git merge*),Bash(git fetch*),Bash(git checkout*),Bash(git branch*),Bash(uv run prek *),Bash(prek *),Bash(uv run ruff *),Bash(uv run pytest *),Bash(uv run mypy *),Bash(uv run coverage *),Bash(gh pr comment*),Bash(gh pr view*),Bash(gh pr diff*),Bash(gh pr merge*),Bash(gh pr close*)"'
256+
use_bedrock: "true"
257+
claude_args: '--model us.anthropic.claude-opus-4-6-v1 --allowedTools "Read,Edit,Write,Glob,Grep,Bash(git status*),Bash(git diff*),Bash(git add *),Bash(git commit *),Bash(git push*),Bash(git log*),Bash(git merge*),Bash(git fetch*),Bash(git checkout*),Bash(git branch*),Bash(uv run prek *),Bash(prek *),Bash(uv run ruff *),Bash(uv run pytest *),Bash(uv run mypy *),Bash(uv run coverage *),Bash(gh pr comment*),Bash(gh pr view*),Bash(gh pr diff*),Bash(gh pr merge*),Bash(gh pr close*)"'
249258
additional_permissions: |
250259
actions: read
251-
env:
252-
ANTHROPIC_FOUNDRY_API_KEY: ${{ secrets.AZURE_ANTHROPIC_API_KEY }}
253-
ANTHROPIC_FOUNDRY_BASE_URL: ${{ secrets.AZURE_ANTHROPIC_ENDPOINT }}

.github/workflows/duplicate-code-detector.yml

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -42,10 +42,16 @@ jobs:
4242
}
4343
EOF
4444
45+
- name: Configure AWS Credentials
46+
uses: aws-actions/configure-aws-credentials@v4
47+
with:
48+
role-to-assume: ${{ secrets.AWS_ROLE_TO_ASSUME }}
49+
aws-region: ${{ secrets.AWS_REGION }}
50+
4551
- name: Run Claude Code
4652
uses: anthropics/claude-code-action@v1
4753
with:
48-
use_foundry: "true"
54+
use_bedrock: "true"
4955
use_sticky_comment: true
5056
allowed_bots: "claude[bot],codeflash-ai[bot]"
5157
claude_args: '--mcp-config /tmp/mcp-config/mcp-servers.json --allowedTools "Read,Glob,Grep,Bash(git diff:*),Bash(git log:*),Bash(git show:*),Bash(wc *),Bash(find *),mcp__serena__*"'
@@ -105,10 +111,6 @@ jobs:
105111
- Concrete refactoring suggestion
106112
107113
If no significant duplication is found, say so briefly. Do not create issues — just comment on the PR.
108-
env:
109-
ANTHROPIC_FOUNDRY_API_KEY: ${{ secrets.AZURE_ANTHROPIC_API_KEY }}
110-
ANTHROPIC_FOUNDRY_BASE_URL: ${{ secrets.AZURE_ANTHROPIC_ENDPOINT }}
111-
112114
- name: Stop Serena
113115
if: always()
114116
run: docker stop serena && docker rm serena || true

.github/workflows/js-tests.yml

Lines changed: 0 additions & 50 deletions
This file was deleted.

LICENSE

Lines changed: 98 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,98 @@
1+
Business Source License 1.1
2+
3+
Parameters
4+
5+
Licensor: CodeFlash Inc.
6+
Licensed Work: Codeflash Client version 0.20.x
7+
The Licensed Work is (c) 2024 CodeFlash Inc.
8+
9+
Additional Use Grant: None. Production use of the Licensed Work is only permitted
10+
if you have entered into a separate written agreement
11+
with CodeFlash Inc. for production use in connection
12+
with a subscription to CodeFlash's Code Optimization
13+
Platform. Please visit codeflash.ai for further
14+
information.
15+
16+
Change Date: 2030-01-26
17+
18+
Change License: MIT
19+
20+
Notice
21+
22+
The Business Source License (this document, or the “License”) is not an Open
23+
Source license. However, the Licensed Work will eventually be made available
24+
under an Open Source License, as stated in this License.
25+
26+
License text copyright (c) 2017 MariaDB Corporation Ab, All Rights Reserved.
27+
“Business Source License” is a trademark of MariaDB Corporation Ab.
28+
29+
-----------------------------------------------------------------------------
30+
31+
Business Source License 1.1
32+
33+
Terms
34+
35+
The Licensor hereby grants you the right to copy, modify, create derivative
36+
works, redistribute, and make non-production use of the Licensed Work. The
37+
Licensor may make an Additional Use Grant, above, permitting limited
38+
production use.
39+
40+
Effective on the Change Date, or the fourth anniversary of the first publicly
41+
available distribution of a specific version of the Licensed Work under this
42+
License, whichever comes first, the Licensor hereby grants you rights under
43+
the terms of the Change License, and the rights granted in the paragraph
44+
above terminate.
45+
46+
If your use of the Licensed Work does not comply with the requirements
47+
currently in effect as described in this License, you must purchase a
48+
commercial license from the Licensor, its affiliated entities, or authorized
49+
resellers, or you must refrain from using the Licensed Work.
50+
51+
All copies of the original and modified Licensed Work, and derivative works
52+
of the Licensed Work, are subject to this License. This License applies
53+
separately for each version of the Licensed Work and the Change Date may vary
54+
for each version of the Licensed Work released by Licensor.
55+
56+
You must conspicuously display this License on each original or modified copy
57+
of the Licensed Work. If you receive the Licensed Work in original or
58+
modified form from a third party, the terms and conditions set forth in this
59+
License apply to your use of that work.
60+
61+
Any use of the Licensed Work in violation of this License will automatically
62+
terminate your rights under this License for the current and all other
63+
versions of the Licensed Work.
64+
65+
This License does not grant you any right in any trademark or logo of
66+
Licensor or its affiliates (provided that you may use a trademark or logo of
67+
Licensor as expressly required by this License).
68+
69+
TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE LICENSED WORK IS PROVIDED ON
70+
AN “AS IS” BASIS. LICENSOR HEREBY DISCLAIMS ALL WARRANTIES AND CONDITIONS,
71+
EXPRESS OR IMPLIED, INCLUDING (WITHOUT LIMITATION) WARRANTIES OF
72+
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, AND
73+
TITLE.
74+
75+
MariaDB hereby grants you permission to use this License’s text to license
76+
your works, and to refer to it using the trademark “Business Source License”,
77+
as long as you comply with the Covenants of Licensor below.
78+
79+
Covenants of Licensor
80+
81+
In consideration of the right to use this License’s text and the “Business
82+
Source License” name and trademark, Licensor covenants to MariaDB, and to all
83+
other recipients of the licensed work to be provided by Licensor:
84+
85+
1. To specify as the Change License the GPL Version 2.0 or any later version,
86+
or a license that is compatible with GPL Version 2.0 or a later version,
87+
where “compatible” means that software provided under the Change License can
88+
be included in a program with software provided under GPL Version 2.0 or a
89+
later version. Licensor may specify additional Change Licenses without
90+
limitation.
91+
92+
2. To either: (a) specify an additional grant of rights to use that does not
93+
impose any additional restriction on the right granted in this License, as
94+
the Additional Use Grant; or (b) insert the text “None”.
95+
96+
3. To specify a Change Date.
97+
98+
4. Not to modify this License in any other way.

codeflash-benchmark/LICENSE

Lines changed: 98 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,98 @@
1+
Business Source License 1.1
2+
3+
Parameters
4+
5+
Licensor: CodeFlash Inc.
6+
Licensed Work: Codeflash Client version 0.20.x
7+
The Licensed Work is (c) 2024 CodeFlash Inc.
8+
9+
Additional Use Grant: None. Production use of the Licensed Work is only permitted
10+
if you have entered into a separate written agreement
11+
with CodeFlash Inc. for production use in connection
12+
with a subscription to CodeFlash's Code Optimization
13+
Platform. Please visit codeflash.ai for further
14+
information.
15+
16+
Change Date: 2030-01-26
17+
18+
Change License: MIT
19+
20+
Notice
21+
22+
The Business Source License (this document, or the “License”) is not an Open
23+
Source license. However, the Licensed Work will eventually be made available
24+
under an Open Source License, as stated in this License.
25+
26+
License text copyright (c) 2017 MariaDB Corporation Ab, All Rights Reserved.
27+
“Business Source License” is a trademark of MariaDB Corporation Ab.
28+
29+
-----------------------------------------------------------------------------
30+
31+
Business Source License 1.1
32+
33+
Terms
34+
35+
The Licensor hereby grants you the right to copy, modify, create derivative
36+
works, redistribute, and make non-production use of the Licensed Work. The
37+
Licensor may make an Additional Use Grant, above, permitting limited
38+
production use.
39+
40+
Effective on the Change Date, or the fourth anniversary of the first publicly
41+
available distribution of a specific version of the Licensed Work under this
42+
License, whichever comes first, the Licensor hereby grants you rights under
43+
the terms of the Change License, and the rights granted in the paragraph
44+
above terminate.
45+
46+
If your use of the Licensed Work does not comply with the requirements
47+
currently in effect as described in this License, you must purchase a
48+
commercial license from the Licensor, its affiliated entities, or authorized
49+
resellers, or you must refrain from using the Licensed Work.
50+
51+
All copies of the original and modified Licensed Work, and derivative works
52+
of the Licensed Work, are subject to this License. This License applies
53+
separately for each version of the Licensed Work and the Change Date may vary
54+
for each version of the Licensed Work released by Licensor.
55+
56+
You must conspicuously display this License on each original or modified copy
57+
of the Licensed Work. If you receive the Licensed Work in original or
58+
modified form from a third party, the terms and conditions set forth in this
59+
License apply to your use of that work.
60+
61+
Any use of the Licensed Work in violation of this License will automatically
62+
terminate your rights under this License for the current and all other
63+
versions of the Licensed Work.
64+
65+
This License does not grant you any right in any trademark or logo of
66+
Licensor or its affiliates (provided that you may use a trademark or logo of
67+
Licensor as expressly required by this License).
68+
69+
TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE LICENSED WORK IS PROVIDED ON
70+
AN “AS IS” BASIS. LICENSOR HEREBY DISCLAIMS ALL WARRANTIES AND CONDITIONS,
71+
EXPRESS OR IMPLIED, INCLUDING (WITHOUT LIMITATION) WARRANTIES OF
72+
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, AND
73+
TITLE.
74+
75+
MariaDB hereby grants you permission to use this License’s text to license
76+
your works, and to refer to it using the trademark “Business Source License”,
77+
as long as you comply with the Covenants of Licensor below.
78+
79+
Covenants of Licensor
80+
81+
In consideration of the right to use this License’s text and the “Business
82+
Source License” name and trademark, Licensor covenants to MariaDB, and to all
83+
other recipients of the licensed work to be provided by Licensor:
84+
85+
1. To specify as the Change License the GPL Version 2.0 or any later version,
86+
or a license that is compatible with GPL Version 2.0 or a later version,
87+
where “compatible” means that software provided under the Change License can
88+
be included in a program with software provided under GPL Version 2.0 or a
89+
later version. Licensor may specify additional Change Licenses without
90+
limitation.
91+
92+
2. To either: (a) specify an additional grant of rights to use that does not
93+
impose any additional restriction on the right granted in this License, as
94+
the Additional Use Grant; or (b) insert the text “None”.
95+
96+
3. To specify a Change Date.
97+
98+
4. Not to modify this License in any other way.

codeflash-benchmark/README.md

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
# CodeFlash Benchmark
2+
3+
A pytest benchmarking plugin for [CodeFlash](https://codeflash.ai) - automatic code performance optimization.
4+
5+
## Installation
6+
7+
```bash
8+
pip install codeflash-benchmark
9+
```
10+
11+
## Usage
12+
13+
This plugin provides benchmarking capabilities for pytest tests used by CodeFlash's optimization pipeline.
14+
15+
For more information, visit [codeflash.ai](https://codeflash.ai).

0 commit comments

Comments
 (0)