CI: fix coverage submission. #3746

Job	Run time
smoke (amaranth-lang/amaranth-boards)	38s
smoke (amaranth-lang/amaranth-stdio)	56s
document	59s
check-links	54s
test (3.10)	2m 12s
smoke (amaranth-lang/amaranth-soc)	1m 1s
test (3.9)	2m 46s
test (3.13)	3m 17s
test (3.12)	4m 10s
test (pypy-3.9)	4m 11s
test (3.11)	2m 39s
test (3.14-dev)	2m 32s
test (pypy-3.11)	4m 21s
test (pypy-3.10)	4m 54s
publish-docs	7s
publish-docs-dev	0s
required	2s
publish-schemas	7s
publish-package	12s
publish-release	-1s
	35m 57s

Provide feedback