Back to pull request #1311

Rename VCError constructors to be more traceable #4494

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	2m 58s
fmt	23s
why3-deps	24s
contracts-build	29s
install	2m 34s
why3	3m 53s
	10m 41s