CI

feat(ide): replace hir-ty TypeSystem with resident slang elaboration #1031

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
VS Code Checks	22s
VS Code Web Smoke	4m 39s
Rust Tests (ubuntu-latest)	2m 34s
Rust Linting	2m 36s
Rust Tests (macos-latest)	3m 52s
Rust Tests (windows-latest)	9m 30s
CI Success	4s
	23m 37s