Nikolaj Bjorner 1ba56667b5 Fix cmake build command for parallel execution		2026-08-03 20:36:53 -07:00
..
actions	Remove z3_tptp5 example build steps from GitHub Actions	2026-07-29 15:53:08 -07:00
agents	update aw	2026-06-24 14:08:45 -07:00
aw	Recompile agentic workflow lockfiles and refresh pinned AW metadata (#10315)	2026-07-30 16:43:39 -07:00
prompts
scripts
skills	update aw	2026-06-24 14:08:45 -07:00
workflows	Fix cmake build command for parallel execution	2026-08-03 20:36:53 -07:00
CI_MIGRATION.md
CI_TESTING.md
copilot-instructions.md
dependabot.yml	Fix Academic Citation Tracker agent job: recompile lock file with gh-aw v0.79.8 (#9910)	2026-06-20 12:13:01 -06:00
mcp.json	update aw	2026-06-24 14:08:45 -07:00