CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 45s
bench-visibility	3m 13s
migration-assistant	16s
coverage-visibility	2m 56s
vscode-smoke	25s
lint	3m 25s
	14m 0s