CI variation

Author: PatrickMassot

.github/workflows/push.yml

@@ -59,12 +59,6 @@ jobs:
       - name: Build documentation
         run: ~/.elan/bin/lake -Kenv=dev build FLT:docs
 
-      - name: Install Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: '3.9'
-          cache: 'pip' # caching pip dependencies
-
       - name: Build blueprint
         uses: xu-cheng/texlive-action@v2
         with: