Browse Source

Added ability to skip CI

Added check for "Skip CI", added comment
Added filter for skipping CI
JaniruTEC 4 years ago
parent
commit
786365c095
2 changed files with 3 additions and 1 deletions
  1. 2 0
      .github/workflows/build.yml
  2. 1 1
      .idea/inspectionProfiles/Project_Default.xml

+ 2 - 0
.github/workflows/build.yml

@@ -7,6 +7,8 @@ jobs:
   build:
     name: Build and Test
     runs-on: ubuntu-latest
+    #This check is case insensitive
+    if: "!contains(github.event.head_commit.message, '[ci skip]') && !contains(github.event.head_commit.message, '[skip ci]')"
     steps:
       - uses: actions/checkout@v2
       - uses: actions/setup-java@v1

+ 1 - 1
.idea/inspectionProfiles/Project_Default.xml

@@ -1,7 +1,7 @@
 <component name="InspectionProjectProfileManager">
   <profile version="1.0">
     <option name="myName" value="Project Default" />
-    <inspection_tool class="SpellCheckingInspection" enabled="false" level="TYPO" enabled_by_default="false">
+    <inspection_tool class="SpellCheckingInspection" enabled="true" level="TYPO" enabled_by_default="true">
       <option name="processCode" value="true" />
       <option name="processLiterals" value="true" />
       <option name="processComments" value="true" />