Update mathlib version

Update mathlib version #3058

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Update Mathlib & Lean (0)	28s
Update Mathlib & Lean (1)	58s
Update Mathlib & Lean (3)	1m 23s
Update Mathlib & Lean (5)	1m 40s
Update Mathlib & Lean (4)	31s
Update Mathlib & Lean (6)	31s
Update Mathlib & Lean (2)	32s
Update Mathlib & Lean (7)	1m 36s
Update Mathlib & Lean (8)	30s
	8m 9s