CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
configure	10s
build / Linux release	8m 16s
build-secondary	0s
Build matrix complete	5s
release-nightly	0s
release	0s
	8m 31s