type check equality injectivity axiom #2204

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (arm64-v8a)	7m 47s
build (armeabi-v7a)	7m 46s
build (x86)	8m 2s
build (x86_64)	7m 58s
	31m 33s