Check pull request

Hack to get deployment manager credentials #60

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	1m 4s
Build image	1m 11s
Check generated code	19s
Unit tests	1m 10s
	3m 44s