Add GitHub Actions workflow for automatic build warning detection and fixing

Browse source

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.

...

This commit is contained in:

Nikolaj Bjorner 2026-01-08 18:45:57 +00:00

parent ba3f4ef1e8

commit 6fca8d0940

2 changed files with 1166 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

1064

.github/workflows/build-warning-fixer.lock.yml generated vendored Normal file

View file

File diff suppressed because it is too large Load diff