Workflow CI

Periodic workflows #140

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-changes	6s
check-commits	14s
sanity / sanity	17s
lint / lint	19s
build / build	50s
test / test (pulp)	42s
test / test (lowerbounds)	7m 40s
ready-to-ship	2s
deprecations	-1s
	10m 9s