3 commits

Author	SHA1	Message	Date
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