Pushes Performance of `mirai_map()` #1750

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest (devel)	2m 18s
ubuntu-latest (release)	1m 59s
ubuntu-latest (oldrel-1)	2m 19s
macOS-latest (release)	2m 17s
windows-latest (release)	2m 19s
	11m 12s