diff --git a/.github/workflows/cona-isa.yml.krey b/.github/workflows/cona-isa.yml
similarity index 96%
rename from .github/workflows/cona-isa.yml.krey
rename to .github/workflows/cona-isa.yml
index 900c162..8e63b87 100644
--- a/.github/workflows/cona-isa.yml.krey
+++ b/.github/workflows/cona-isa.yml
@@ -1,6 +1,5 @@
 name: ConaIsa
 
-
 # Relevant to events - https://help.github.com/en/actions/automating-your-workflow-with-github-actions/events-that-trigger-workflows
 on: 
   pull_request:
@@ -75,7 +74,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - name: make build-gcc-ccp
-        run: make build-gcc-ccp
+        run: case $(git diff --name-only origin/master) in *.ccp) make build-gcc-ccp; esac
   check-gcc-cpp:
     runs-on: ${{ matrix.os }}
     strategy:
@@ -84,7 +83,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - name: make check-gcc-ccp
-        run: make check-gcc-ccp
+        run: case $(git diff --name-only origin/master) in *.ccp) make check-gcc-ccp; esac
   bench-gcc-cpp:
     runs-on: ${{ matrix.os }}
     strategy:
@@ -93,7 +92,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - name: make bench-gcc-ccp
-        run: make bench-gcc-ccp
+        run: case $(git diff --name-only origin/master) in *.ccp) make bench-gcc-ccp; esac
 
   # clang-c
   build-clang-c:
diff --git a/.travis.yml b/.travis.yml.krey
similarity index 97%
rename from .travis.yml
rename to .travis.yml.krey
index 47fb7d4..b4c1b8b 100644
--- a/.travis.yml
+++ b/.travis.yml.krey
@@ -58,7 +58,7 @@ matrix:
         COMPILER_C="gcc"
         COMPILER_CXX="g++"
         REPOSITORY="https://github.com/RXT0112/Zernit.git"
-        PACKAGES="git build-essential make cargo rustc"
+        PACKAGES="git make cargo rustc"
 
     # Ubuntu 19.10 (Eoan Ermine) with Clang
     - name: "Ubuntu 19.10 (Eoan Ermine) with Clang"
@@ -75,7 +75,7 @@ matrix:
         COMPILER_C="clang"
         COMPILER_CXX="clang++"
         REPOSITORY="https://github.com/RXT0112/Zernit.git"
-        PACKAGES="git build-essential make cargo rustc"
+        PACKAGES="git make cargo rustc"
 
   # Debian Linux
     # Debian Testing
@@ -230,10 +230,10 @@ matrix:
         TOOL="check"
 
     # Windows 
-    - name: "Windows build"
-      os: windows
-      env:
-        TOOL="build"
+    # - name: "Windows build"
+    #   os: windows
+    #   env:
+    #     TOOL="build"
 
 before-install:
   - QA/travis-ci/before-install.sh