CI build

Revert "Revert "WIP: re-download riscv_gcc for new docker image"" #581

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.7)	29s
build (3.8)	27s
build (3.9)	28s
build (3.10)	28s
build (3.11)	26s
docs (3.9)	1m 9s
coverage (3.9)	1m 19s
release	0s
	4m 46s