pull_request

make arch CI non-required #1673

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
arch-202307	30s
arch-202307	21s
centos-7	3m 44s
centos-7	3m 42s
debian-12	3m 28s
debian-12	3m 34s
debian-11	3m 30s
debian-11	3m 7s
fedora-35	3m 31s
fedora-35	3m 33s
spelling	10s
spelling	8s
ubuntu-20	3m 44s
ubuntu-20	3m 46s
ubuntu-22	2m 53s
ubuntu-22	2m 56s
	42m 37s