temp disable prelude check (bugged)

Author: leogermond

.github/workflows/main.yaml

@@ -40,9 +40,6 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - name: Check source is updated with prelude
-        run: python3 contrib/ci/fix_prelude.py
-
       - name: Prepare slides environment
         run: python3 contrib/ci/slides.py ${{ format('{0}/{1}', 'courses', matrix.source) }} printenv >> $GITHUB_ENV