Back to pull request #5217

test: add mass delegation and gas usage tests in Votes.test.js #4808

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
apply-diff	2s
halmos	1m 3s
verify	0s
	1m 5s