Foundry

test: Certora specs for redistribution #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test (Fork)	1d 0h 0m 0s
Test (Storage)	1s
Test (Integration)	1s
Coverage	1d 0h 0m 0s
Test (Unit)	1s
Size Diff	1s
	2d 0h 0m 4s