5 Commits

Author	SHA1	Message	Date
Roman	aeec0e275a	chore: remove redundant circuits installation	2026-06-25 12:33:43 +08:00
Roman	03d9440fba	fix: remove on push trigger	2026-06-25 11:21:35 +08:00
Roman	8b44d7c967	fix: use PAT to authorize workflow to create PR	2026-06-24 14:17:10 +08:00
Roman	e38a53c253	test: corpus update workflow	2026-06-24 12:33:17 +08:00
Roman	21281e1c96	feat: automatic corpus update with minimize	2026-06-23 13:49:55 +08:00