This repository has been archived by the owner on Oct 10, 2023. It is now read-only.

.github/workflows/upgrade.yml #166

Job	Run time
Bump Lean and dependency versions	1m 12s
	1m 12s

Provide feedback