ci

making sure that CI commits/mirror only applies to the push event #53

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-basics	1s
basics	26s
run-tests	56s
check-push-commits	1s
push-commits	2s
check-mirror-commits	1s
mirror-commits	0s
	1m 27s