Build and Deploy

Bump dawidd6/action-download-artifact from 6 to 7 in the gh-actions group #519

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
checker-framework	1m 0s
lint	20s
Event File (for test results)	2s
test (ubuntu-latest)	2m 24s
test (macos-latest)	1m 59s
test (windows-latest)	3m 47s
deploy	18s
	9m 50s