Build and Push

Merge pull request #1447 from Jerome1998/patch-1 #262

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build docker master	2m 56s
Build binaries	3m 47s
Build docker hardware	2m 9s
	8m 52s