Build the application with Cargo

Add an option to pass a time limit to vampire #299

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (stable)	34s
build (beta)	38s
build (nightly)	35s
build (1.75.0)	39s
	2m 26s