build

Add `PeakRDL-rawheader` project to community (#77) #135

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build peakrdl-cli	12s
Build peakrdl	13s
mypy	21s
lint	24s
test (3.12)	21s
test (3.8)	35s
test (3.9)	36s
test (3.7)	28s
test (3.13)	29s
test (3.10)	24s
test (3.11)	21s
finish_coveralls	8s
deploy-peakrdl	0s
deploy-peakrdl-cli	0s
	4m 32s