Merge pull request #43 from Certora/remappings-again #712

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-mac	3m 4s
build-linux	1m 47s
check-docs	5s
release	0s
	4m 56s