2 commits

Author	SHA1	Message	Date
Copilot	4a1f448a06	Fix agentic workflow compilation errors (gh-aw v0.68 compat) (#9275) ... * Start: recompile agentic workflows, fix errors and security issues Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/88b80d94-e7d6-4e8f-a106-baa2e7e212d6 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix agentic workflow compilation errors: remove glob/view tools, resolve merge conflict, fix serena tool and missing imports Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/88b80d94-e7d6-4e8f-a106-baa2e7e212d6 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-04-11 10:19:45 -07:00
Copilot	fe6efef808	Add monthly Academic Citation & Research Trend Tracker workflow (#9007) ... * Initial plan * Add academic-citation-tracker workflow and compiled lock file 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-03-15 15:39:37 -07:00