CI for push and PR

Merge pull request #907 from NPDebs/update_ols-9 #927

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-internal-links	1m 17s
lint (3.8)	17s
test-other-workflows	2m 12s
lint (3.11)	13s
	3m 59s