Build

Merge pull request #47 from mkroening/restrict #132

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test Suite (very_unstable)	15s
Test Suite (unstable)	14s
Check	5s
Lints	5s
Test Suite	18s
	57s