Back to pull request #6174

chore: refactor Elab.StructInst to use `mutual` for its `structure`s/`inductive`s #24706

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	3s
Linux release	14m 43s
macOS aarch64	20m 15s
Build matrix complete	2s
release	0s
release-nightly	0s
	35m 3s