nginx

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (x86_64, ubuntu-latest)	15m 4s
build (arm64, oqs-arm64)	9m 48s
push / push	3s
	24m 55s