Commits on Jan 4, 2022

1. Make CI run on changes to non-code files as well …

   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" {}
   ```

   

   madsmtm committed Jan 4, 2022
   Copy the full SHA

   359ea76 View commit details

   Browse the repository at this point in the history