ci

Simplify taging logic to avoid repetition #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-commit	13s
build-test-push (11)	5m 14s
build-test-push (10)	5m 51s
build-test-push (13)	8m 27s
build-test-push (14)	8m 34s
build-test-push (15)	8m 50s
build-test-push (18)	8m 27s
build-test-push (9.6)	5m 3s
build-test-push (12)	5m 58s
build-test-push (17)	8m 46s
build-test-push (16)	8m 8s
	1h 13m 31s