Merge branch 'master' of https://github.com/fpvandoorn/BonnAnalysis

.github/workflows/push.yml

@@ -25,7 +25,7 @@ jobs:
     name: Build project
     steps:
       - name: Checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -42,7 +42,7 @@ jobs:
         run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis
 
       - name: Cache mathlib documentation
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: |
             .lake/build/doc/Init
@@ -105,13 +105,13 @@ jobs:
       #     path: docs/
 
       - name: Upload docs & blueprint artifact to `docs/_site`
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: docs/_site
 
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4
 
       - name: Make sure the cache works
-        run: mv docs/docs .lake/build/doc
+        run: mv docs/docs .lake/build/doc

.github/workflows/push_pr.yml

@@ -7,7 +7,7 @@ jobs:
     name: Build project
     steps:
       - name: Checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 

.gitignore

@@ -1,14 +1,44 @@
-/build
-/lake-packages
-/.lake
-/.cache
+## macOS
 .DS_Store
+## Lake
+.lake/*
+.cache/*
+.devenv/*
+.stfolder/*
 /lakefile.olean
+/lake-packages/*
+/build
+## Blueprint
+/blueprint/lean_decls
+/blueprint/print/print.log
+/blueprint/web/
+/blueprint/src/web.paux
+/blueprint/src/web.bbl
+/blueprint/print/
+## Docs
+docs/_includes/sorries.md
+## TeX
 *.aux
-*.fdb_latexmk
-*.fls
+*.lof
 *.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+.*.lb
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.run.xml
+*.fdb_latexmk
+*.synctex
+*.synctex(busy)
 *.synctex.gz
-# Lean blueprint
-/blueprint/lean_decls
-/blueprint/src/web.bbl
+*.synctex.gz(busy)
+*.pdfsync