CI for push and PR

Updated Doaa's title and added her to the team page #2159

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-internal-links	1m 7s
test-other-workflows	1m 27s
lint (3.8)	22s
lint (3.11)	15s
	3m 11s