CI

Update run-test.yml to use upload-artifact v4 #1143

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	4m 37s
build-CVC5-only	2m 22s
build-Z3-only	2m 8s
build-release	1m 43s
litmus-test	2m 14s
opts-test	1m 59s
	15m 3s