Fix OS runner config #135

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	8s
lint	22s
py39	23s
py310	25s
py311	19s
py312	24s
py313	35s
pypy3	49s
docs	22s
coverage	32s
mypy	22s
z3c.macro	20s
z3c.pt	18s
lint	1m 13s
py39	58s
py310	54s
py311	49s
py312	1m 1s
py313	2m 1s
pypy3	1m 35s
docs	58s
coverage	1m 24s
mypy	58s
z3c.macro	58s
z3c.pt	1m 14s
	19m 22s