From bba24f04a7b39c3717357ef3dbbd68f2bd96ba18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20D=C3=BCsterhus?= <tim@bastelstu.be>
Date: Wed, 31 Jan 2024 23:36:07 +0100
Subject: [PATCH] Update GitHub Action workflows to
 `actions/upload-artifact@v4` (master)

This applies the upgrade for workflows that have been added in the master
branch.
---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 272671c3351..215fdbf73fb 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -300,7 +300,7 @@ jobs:
             ${{ github.sha }} \
             $(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.sha }}) \
             > $GITHUB_STEP_SUMMARY
-      - uses: actions/upload-artifact@v3
+      - uses: actions/upload-artifact@v4
         with:
           name: profiles
           path: ${{ github.workspace }}/benchmark/profiles