Pushes Performance of `mirai_map()` #1752

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-latest (devel)	2m 10s
ubuntu-latest (release)	1m 53s
ubuntu-latest (oldrel-1)	2m 13s
macOS-latest (release)	2m 2s
windows-latest (release)	2m 37s
	10m 55s