Skip to content

Revert "Remove pull_request from ci options"#488

Merged
KaanOzkan merged 1 commit intomainfrom
revert-450-ryanb-tidy-ci-options
Sep 8, 2021
Merged

Revert "Remove pull_request from ci options"#488
KaanOzkan merged 1 commit intomainfrom
revert-450-ryanb-tidy-ci-options

Commits

Commits on Sep 8, 2021