CI

Do not use magic_enum (remove external dependency) #1144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-release	1m 37s
build	4m 32s
build-CVC5-only	2m 18s
build-Z3-only	2m 11s
litmus-test	2m 47s
opts-test	1m 43s
	15m 8s