CI

Merge pull request #7 from wobsoriano/pause-when-document-hidden #83

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	13s
test (16.x, ubuntu-latest)	1m 4s
typecheck	31s
	1m 48s