Merge branch 'main' of github.com:ImperialCollegeLondon/FLT

ImperialCollegeLondon · Mar 2, 2024 · ba141eb · ba141eb
2 parents fa0d642 + d4a12b2
commit ba141eb
Show file tree

Hide file tree

Showing 4 changed files with 158 additions and 14 deletions.
diff --git a/.github/workflows/push.yml b/.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:

diff --git a/FLT/GlobalLanglandsConjectures/notes.pdf b/FLT/GlobalLanglandsConjectures/notes.pdf