Tests

Render real icons in Lean's textInsertionWidget hints. #3358

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test (ubuntu-latest, nightly)	5m 48s
Test (ubuntu-latest, stable)	5m 51s
Test (macos-latest, v0.11.5)	7m 10s
Test (macos-latest, nightly)	7m 15s
Test (ubuntu-latest, v0.11.5)	5m 46s
Test (macos-latest, stable)	10m 2s
Release	0s
Test (macos-latest, stable)	8m 28s
Test (macos-latest, nightly)	7m 15s
Test (macos-latest, v0.11.5)	7m 10s
Test (ubuntu-latest, nightly)	5m 48s
Test (ubuntu-latest, stable)	5m 51s
Test (ubuntu-latest, v0.11.5)	5m 46s
Release	0s
	1h 22m 10s