rolling-release

vstd: remove usage of group_seq_axioms and added axioms (#2678) #143

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build (macos)	5m 58s
build / build (windows)	9m 23s
build / build (macos-x86_64)	14m 3s
build / build (linux)	5m 14s
build / metadata	4s
publish	13s
	34m 55s