Nikolaj Bjorner 009f3c1ae6 remove stale workflows ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2026-08-07 21:49:37 -07:00
..
actions	Remove z3_tptp5 example build steps from GitHub Actions	2026-07-29 15:53:08 -07:00
agents
aw	Recompile agentic workflow lockfiles and refresh pinned AW metadata (#10315)	2026-07-30 16:43:39 -07:00
prompts
scripts
skills
workflows	remove stale workflows	2026-08-07 21:49:37 -07:00
CI_MIGRATION.md
CI_TESTING.md
copilot-instructions.md
dependabot.yml
mcp.json