Skip to content

Add GitHub Copilot code review instructions#581

Merged
feliperodri merged 2 commits into
model-checking:mainfrom
feliperodri:review-guidelines
Mar 31, 2026
Merged

Add GitHub Copilot code review instructions#581
feliperodri merged 2 commits into
model-checking:mainfrom
feliperodri:review-guidelines

Updating guidelines

41a0e1e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Mar 31, 2026 in 6m 35s