Copilot
bac004047b
[WIP] Fix build warning fixer to access daily build logs ( #8133 )
...
* Initial plan
* Update build-warning-fixer with correct tool usage and examples
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Add specific workflow targets to build-warning-fixer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-08 21:10:27 -08:00
Copilot
22061a7452
Remove GITHUB_READ_ONLY flag blocking Actions log retrieval in build-warning-fixer ( #8128 )
...
* Initial plan
* Remove GITHUB_READ_ONLY=1 flag to allow log retrieval in build-warning-fixer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-08 20:07:16 -08:00
Copilot
936952dd00
Enable workflow log access for build-warning-fixer agent ( #8123 )
...
* Initial plan
* Enable agentic-workflows MCP server for workflow log access
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
2026-01-08 15:06:57 -08:00
Nikolaj Bjorner
69bc608a18
Add GitHub Actions workflow for automatic build warning detection and fixing
...
This workflow analyzes build warnings from CI runs of the Z3 theorem prover codebase. It extracts compiler warnings, creates fixes for straightforward issues, and generates pull requests with the changes. The process is designed to be conservative, ensuring that only safe and minimal changes are made to the codebase.
2026-01-08 18:45:57 +00:00
