Copilot
6df16fad9c
Update api-coherence-checker workflow to use "Agentic Workflows" discussion category ( #8202 )
...
* Initial plan
* Update api-coherence-checker to use "Agentic Workflows" discussion category
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:13 -08:00
Copilot
7d4964a2f0
Fix api-coherence workflow to verify and filter resolved issues ( #8201 )
...
* Initial plan
* Update api-coherence workflow to verify and filter resolved 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-15 11:40:26 -08:00
Copilot
15108bf36e
Update API coherence checker to include OCaml bindings and remove Julia ( #8168 )
...
* Initial plan
* Update API coherence checker to include OCaml bindings and remove Julia
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 21:19:40 -08:00
Copilot
a7a18b8309
Add agentic workflow for multi-language API coherence checking ( #8119 )
...
* Initial plan
* Add API coherence checker 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-08 10:31:23 -08:00
