Back to pull request #3

chore: add certora CI integration #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	15s
build	15s
lint	32s
lint	34s
test	15s
test	15s
verify	23s
verify	1m 17s
coverage	17s
coverage	17s
	4m 20s