Change vargo warning to handle preexisting VERUS_Z3_PATH (#708) #3987

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fmt	2m 29s
smoke-test-windows	13m 48s
test	17m 47s
test (singular)	18m 24s
	52m 28s