diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 424c2886..6fc46671 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,5 @@
 name: CI
+# Not functional at the moment
 
 on:
   pull_request: