Copilot
ee14a9dbd7
Schedule code-conventions-analyzer to run every 3 hours ( #8340 )
...
* Initial plan
* Update code-conventions-analyzer to run every 3 hours
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-25 20:12:36 -08:00
Copilot
944777afc0
Increase code-conventions-analyzer issue creation limit to 5 per run ( #8332 )
...
* Initial plan
* Add max: 5 to code-conventions-analyzer workflow to generate up to 5 issues per run
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-25 12:31:07 -08:00
Copilot
301d0e061f
Use descriptive names for structured bindings in code-conventions-analyzer workflow ( #8322 )
...
* Initial plan
* Update structured binding naming convention in code-conventions-analyzer
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-24 12:02:39 -08:00
Copilot
1d022fa591
Fix code-conventions-analyzer to create issues instead of pull requests ( #8311 )
...
* Initial plan
* Fix code-conventions-analyzer to create issues instead of pull requests
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-23 15:37:35 -08:00
Copilot
e3777d86d6
[WIP] Update code conventions analyzer for initializer_list usage ( #8307 )
...
* Initial plan
* Add initializer_list pattern detection to code conventions analyzer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Compile updated code conventions analyzer workflow
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix regex patterns in initializer_list search examples
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix regex pattern to match both single and double pointers
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-23 14:20:34 -08:00
Copilot
736d5924e5
[WIP] Update code convention analyzer for tuple patterns ( #8306 )
...
* Initial plan
* Add tuple pattern detection to code conventions analyzer
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Clarify search pattern comment for tuple pattern detection
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Improve examples and search patterns based on code review feedback
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-23 13:48:42 -08:00
Copilot
50157d400a
Fix workflow compilation errors and relocate documentation files ( #8295 )
...
* Initial plan
* Fix workflow compilation errors and recompile all workflows
- Fixed code-conventions-analyzer.md: changed missing-tool.create-pull-request to create-issue
- Moved documentation files (CI_MIGRATION.md, CI_TESTING.md, NUGET_BUILD_README.md) from .github/workflows/ to .github/
- Recompiled all workflows successfully
- All .lock.yml files regenerated
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-22 21:05:05 -08:00
Nikolaj Bjorner
995e8c6555
Change missing-tool action from issue to pull request
2026-01-22 20:57:26 -08:00
Nuno Lopes
97b24a345f
copilot instructions
2026-01-22 21:47:30 +00:00
Copilot
d2e0354ce4
Enable automatic std::optional refactoring PRs in Code Conventions Analyzer ( #8284 )
...
* Initial plan
* Modify Code Conventions Analyzer to create PRs for std::optional refactoring
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Complete Code Conventions Analyzer workflow modification
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
* Fix reference clarity in workflow documentation
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-22 10:58:10 -08:00
Copilot
7c4a22d865
Upgrade agentic workflows to gh-aw v0.37.0 ( #8261 )
...
* Initial plan
* Upgrade workflows to gh-aw v0.37.0 (latest)
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-20 09:42:30 -08:00
Copilot
94461f1fb4
Add cache-memory tracking to code conventions analyzer workflow ( #8243 )
...
* Initial plan
* Add cache-memory tracking to code conventions analyzer workflow
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-18 17:23:29 -08:00
Copilot
a586093e4c
Change code-conventions-analyzer workflow from weekly to daily schedule ( #8229 )
...
* Initial plan
* Update code-conventions-analyzer to run daily instead of weekly
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-17 10:59:23 -08:00
Nuno Lopes
a7def9e65d
bot: restore std::format
2026-01-16 09:35:42 +00:00
Copilot
be2d7ecb91
Change code-conventions-analyzer workflow discussion category to "Agentic Workflows" ( #8203 )
...
* Initial plan
* Update code-conventions-analyzer discussion category to "Agentic Workflows"
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-15 12:45:47 -08:00
Nuno Lopes
888d2fc480
copilot: don't use std::format and try using clang-tidy
2026-01-14 09:17:49 +00:00
Copilot
3bf271bb42
Enhance Code Conventions Analyzer for empty constructors and non-virtual destructors ( #8192 )
...
* Initial plan
* Enhance Code Conventions Analyzer for empty constructors and non-virtual destructors
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-13 18:57:10 -08:00
Copilot
635c7ea32e
Extend code-conventions-analyzer workflow with Z3-specific C++ modernization patterns ( #8187 )
...
* Initial plan
* Update code-conventions-analyzer workflow with modern C++ preferences
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-13 09:35:57 -08:00
Copilot
40250bfcb8
Change Code Conventions Analyzer to output to Discussions instead of Issues ( #8163 )
...
* Initial plan
* Change Code Conventions Analyzer to use Discussions instead of Issues
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-11 18:08:24 -08:00
Copilot
05994345cb
Add agentic workflow for C++ coding conventions and modernization analysis ( #8140 )
...
* Initial plan
* Add code conventions analyzer agentic workflow
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-10 12:28:31 -08:00
