fix: remove profile: minimal from CI workflows#2715
Closed
devin-ai-integration[bot] wants to merge 2 commits intomainfrom
Closed
fix: remove profile: minimal from CI workflows#2715devin-ai-integration[bot] wants to merge 2 commits intomainfrom
devin-ai-integration[bot] wants to merge 2 commits intomainfrom
Commits
Commits on May 21, 2025
- andcommitted
- andcommitted
![devin-ai-integration[bot]](https://avatars.githubusercontent.com/in/811515?v=4&size=32){kind=avatar}