Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #304 from crytic/dev-improve-markdown-ci-lint
ci: lint_links: only check changed files on pull requests
- Loading branch information