continuous integration

Merge branch 'adomani/have_let_linter_only' of github.com:leanprover-… #113177

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	1h 5m 12s
Cancel Previous Runs (CI)	4s
check workflows	7s
Lint style	1m 6s
Post-CI job	9s
	1h 6m 38s