.github/workflows/pr.yaml

Use tini so container can be ctrl+c:d on command line #69

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify (ubuntu-latest)	1m 44s
verify (windows-latest)	3m 50s
verify (macos-latest)	2m 28s
	8m 2s