CI

Fix Makefile rebuilding all tools when any tool is installed #2064

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
CI (3.10, highest)	2m 10s
CI (3.12, lowest-direct)	2m 5s
CI (3.13, highest)	2m 4s
CI (3.11, highest)	2m 10s
CI (3.14, highest)	2m 13s
CI (3.13, lowest-direct)	2m 3s
CI (3.11, lowest-direct)	2m 7s
CI (3.14, lowest-direct)	2m 12s
CI (3.12, highest)	2m 4s
CI (3.10, lowest-direct)	2m 10s
	21m 18s