2 Commits

Author	SHA1	Message	Date
r4bbit	023e43f4ad	chore(certora/scripts): remove wait for all results option	2024-02-26 14:24:56 +01:00
r4bbit	e3142f1e52	refactor: move certora configs into individual scripts ... This is done to allow execution of multiple verifications per command, such that we can still use `pnpm verify` as usual to run all specs, but also target individual specs using `pnpm verify:sub_command`.	2024-01-19 07:28:25 +01:00