CI

Merge pull request #381 from jacobweinstock/file-reorg #870

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Validate verify	34s
Validate lint	1m 5s
Codespell	11s
Build and push manager image	11m 13s
Validate test	46s
	13m 49s