Add GitHub Copilot code review instructions#581

feliperodri merged 2 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

feliperodri:review-guidelinesfeliperodri/verify-rust-std:review-guidelinesCopy head branch name to clipboard