combine `lean-update` action #152

Job	Run time
detect-mathlib	1m 12s
auto-config-true	20s
auto-config-false	2m 31s
lake-check-test-failure	8s
lake-init-failure	15s
lake-lint-failure	20s
lake-init-success (standalone)	16s
lake-test-failure	23s
lake-lint-success	21s
lake-init-success (mathdep math)	1m 15s
lake-test-success	27s
lake-init-success (tomltest .toml)	21s
macos-runner	33s
subdirectory-lake-package	27s
windows-runner	1m 18s
	10m 7s

Provide feedback