CI for push and PR

Merge all CRON workflow into 1 with several jobs #1964

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-other-workflows	1m 49s
check-internal-links	1m 4s
lint (3.8)	17s
lint (3.11)	16s
	3m 26s