3 commits

Author	SHA1	Message	Date
Copilot	8a4f5f56fc	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-02-18 20:57:30 -08:00
Copilot	f08f97b555	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-02-18 20:57:10 -08:00
Copilot	caff1debd3	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-02-18 20:57:05 -08:00