CI

feat: introduce `findMatchingDecl?` for code quality checks in `Lean.Linter` #62664

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	9s
build / Linux release	10m 7s
build-secondary	0s
Build matrix complete	2s
release	0s
release-nightly	0s
	10m 18s