curl

Address issues with the push manifest CI workflow (#333) #31

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (x86_64, ubuntu-latest)	17m 40s
build (arm64, oqs-arm64)	11m 58s
push / push	4s
push-optimized / push	3s
push-dev / push	3s
	29m 48s