From a033b25ecb0b6f3f16c222e9057bc2209828d2a2 Mon Sep 17 00:00:00 2001 From: Mads Marquart Date: Wed, 5 Jan 2022 15:01:17 +0100 Subject: [PATCH] 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" {} ``` --- .github/workflows/ci.yml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1457eaa5..1076aa56 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,16 +2,8 @@ name: CI on: pull_request: - paths: - - '**.rs' - - '**.toml' - - '.github/workflows/ci.yml' push: branches: [master] - paths: - - '**.rs' - - '**.toml' - - '.github/workflows/ci.yml' jobs: Check_Formatting: