CI

Feat/solo core metatheory proofs #1184

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coverage-visibility	3m 18s
build	3m 39s
vscode-smoke	36s
bench-visibility	3m 19s
migration-assistant	24s
lint	3m 28s
	14m 44s