11 Commits

Author	SHA1	Message	Date
Roman	61d5a729ec	fix: add timeout to model based stateful lockstep	2026-07-13 13:25:47 +02:00
Roman	325c37a291	fix: targets matrix reuse	2026-07-02 15:04:31 +02:00
Roman	0f4cf52491	test: transaction ordering independence	2026-07-02 13:55:36 +02:00
Roman	aeec0e275a	chore: remove redundant circuits installation	2026-06-25 12:33:43 +08:00
Roman	21281e1c96	feat: automatic corpus update with minimize	2026-06-23 13:49:55 +08:00
Roman	56162a66a3	fix: repo pinning ... - minor invariant changes - missing target in CI added - docs	2026-06-22 10:17:30 +08:00
Roman	2b949127a7	fix: simplify the code	2026-06-16 13:28:33 +08:00
Roman	7843a90254	fix: lower the load per single runner	2026-06-16 13:17:42 +08:00
Roman	cfc415d214	fix: workflow files update ... - polish documentation	2026-06-12 11:47:43 +08:00
Roman	aceb12f054	fix: run aggregated coverage instead	2026-05-28 17:59:21 +08:00
Roman	db477a42d0	feat: apply changes from PR1 except corpus	2026-05-27 19:41:34 +08:00