From 8f238610284492ff5dcf0bfa7d51a844fd32b0d6 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Fri, 26 Jul 2024 22:10:11 +0200
Subject: [PATCH] Bump GitHub actions

---
 .github/workflows/push.yml    | 12 ++++++------
 .github/workflows/push_pr.yml |  4 ++--
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 3e40604d..e54bf262 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -29,7 +29,7 @@ jobs:
     name: Build project
     steps:
       - name: Checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
@@ -43,7 +43,7 @@ jobs:
         run: ~/.elan/bin/lake build FLT
 
       - name: Cache mathlib docs
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: |
             .lake/build/doc/Init
@@ -88,7 +88,7 @@ jobs:
         run: |
           sudo chown -R runner docs
           cp -r .lake/build/doc docs/docs
-      
+
       - name: Bundle dependencies
         uses: ruby/setup-ruby@v1
         with:
@@ -101,18 +101,18 @@ jobs:
         run: JEKYLL_ENV=production bundle exec jekyll build
 
       - name: Upload docs & blueprint artifact
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: docs/
 
       - name: Upload docs & blueprint artifact
-        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: |
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
index c112d8e5..2afba582 100644
--- a/.github/workflows/push_pr.yml
+++ b/.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
 
@@ -18,4 +18,4 @@ jobs:
         run: ~/.elan/bin/lake exe cache get
 
       - name: Build project
-        run: ~/.elan/bin/lake build FLT
\ No newline at end of file
+        run: ~/.elan/bin/lake build FLT