From 1ecf0aef419ee008cf3b859becf2c32e9adb06a8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 30 Jul 2024 16:26:40 +0200
Subject: [PATCH] update actions

---
 .github/workflows/main.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index d5dd41332..aca53bc53 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -41,7 +41,7 @@ jobs:
           git config --global core.eol lf
 
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
 # Environment setup ###########################################################
 # 
@@ -103,7 +103,7 @@ jobs:
 # Artifacts 1 ################################################################
 
       - name: Save binary
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         with:
           name: elpi-${{ matrix.ocaml-compiler }}-${{ runner.os }}
           path: elpi*-${{ matrix.ocaml-compiler }}-${{ runner.os }}.exe
@@ -125,7 +125,7 @@ jobs:
 # Artifacts 2 ################################################################
 
       - name: Save logs
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         if: always()
         with:
           name: .logs-${{ matrix.ocaml-compiler }}-${{ runner.os }}
@@ -133,7 +133,7 @@ jobs:
           retention-days: 1
 
       - name: Save benchmarking data
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         if: always()
         with:
           name: .benchmark-${{ matrix.ocaml-compiler }}-${{ runner.os }}
@@ -150,7 +150,7 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
 
       - name: Install extra stuff
         run: |
@@ -158,7 +158,7 @@ jobs:
           sudo apt-get install lua5.1 gnuplot
 
       - name: Download all artifacts
-        uses: actions/download-artifact@v2
+        uses: actions/download-artifact@v4
 
       - name: Plotting aggregated data
         run: |
@@ -167,7 +167,7 @@ jobs:
           gnuplot data.csv.plot
 
       - name: Save benchmarking plot
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v4
         with:
           name: benchmark-plot
           path: data.csv.svg