CI for push and PR

Merge pull request #945 from NPDebs/paz_alumni #2167

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-other-workflows	1m 48s
check-internal-links	1m 8s
lint (3.8)	22s
lint (3.11)	18s
	3m 36s