build & deploy

Move repo to the new name #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (debian)	14m 49s
build (debian)	15m 35s
build (debian)	15m 40s
build (fedora)	15m 35s
build (fedora)	15m 35s
build (fedora)	15m 35s
build (ubuntu)	24m 17s
build (ubuntu)	24m 17s
build (ubuntu)	24m 17s
aggregate	1m 27s
aggregate	37s
aggregate	1m 9s
publish	1s
publish	1s
publish	2s
	2h 48m 57s