add CI for pull requests, deploy docs when main is updated#7

bryangingechen merged 2 commits intomainleanprover-community/mathlib4_docs:mainfrom

bryangingechen-patch-2leanprover-community/mathlib4_docs:bryangingechen-patch-2Copy head branch name to clipboard