Mads Marquart a033b25ecb Make CI run on changes to non-code files as well (#2130) ... The repository is configured such that specific checks are required to pass before merging; since CI doesn't run on PRs that don't change code, they can't be merged without administrator intervention. Also, while this definition is currently correct, we might in the future change something so that changes to other files (like markdown files) really should be run through CI. And example of that could be: ```rust #[cfg(doctest)] #[doc = include_str!("../README.md")] extern "C" {} ```		2022-01-05 15:01:17 +01:00
..
workflows	Make CI run on changes to non-code files as well (#2130)	2022-01-05 15:01:17 +01:00
PULL_REQUEST_TEMPLATE.md	Use paths for intra-doc links, and verify that links are valid in CI (#1244)	2019-11-11 16:05:59 -07:00