diff --git a/.github/workflows/compilation.yml b/.github/workflows/compilation.yml
deleted file mode 100644
index 1da129a..0000000
--- a/.github/workflows/compilation.yml
+++ /dev/null
@@ -1,17 +0,0 @@
-name: Compile all
-
-on:
-  push:
-    branches: [ main ]
-  pull_request:
-    branches: [ main ]
-
-jobs:
-  build:
-
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v3
-    - name: Compile all
-      run: ./make.sh build all