Pull request

Merge pull request #717 from hannesa2/Moka-1.7 #880

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check (ubuntu-22.04)	2m 56s
Test (ubuntu-22.04, 34, x86_64, 14, google_apis)	10m 31s
	13m 27s