CI

Merge pull request #421 from jacobweinstock/orphan-machine #949

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and push manager image	14m 31s
Codespell	8s
Validate verify	27s
Validate lint	46s
Validate test	19s
	16m 11s