CI

feat(formal): grow P-2 to the STLC with functions + the substitution … #1207

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 18s
migration-assistant	25s
vscode-smoke	31s
lint	2m 29s
coverage-visibility	3m 18s
bench-visibility	3m 15s
	13m 16s