Skip to content
This repository has been archived by the owner on Jan 15, 2024. It is now read-only.

Don't run linting on draft PRs#13

Merged
paddyroddy merged 1 commit intomainfrom draft-prsNov 1, 2023

Commits