tests

Merge remote-tracking branch 'dp/master3' into master3-pedal #125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docker push	0s
static analysis	2m 59s
unit tests	2m 37s
	5m 36s