Merge pull request #1006 from isan-Ethen/fix_snapshots_example #3425

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
contracts-build	36s
fmt	21s
build	2m 45s
why3	3m 37s
	7m 19s