Ubuntu build

Add antisym-≡ to Data.Vec.Relation.Binary.Pointwise.Inductive #6249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
init	3m 25s
test-stdlib	5m 35s
html-generate	8m 5s
test-stdlib-golden	8m 6s
html-deploy	13s
cleanup	4s
	25m 28s