Update mathlib version

Update mathlib version #3143

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Update Mathlib & Lean (4)	30s
Update Mathlib & Lean (1)	2m 39s
Update Mathlib & Lean (3)	51s
Update Mathlib & Lean (2)	1m 36s
Update Mathlib & Lean (6)	1m 45s
Update Mathlib & Lean (5)	1m 45s
Update Mathlib & Lean (7)	39s
Update Mathlib & Lean (8)	1m 2s
Update Mathlib & Lean (0)	1m 24s
	12m 11s