From 2dd899dc5e521912a54b0131fd7074e5349b25c4 Mon Sep 17 00:00:00 2001
From: Dimitri Papadopoulos
 <3234522+DimitriPapadopoulos@users.noreply.github.com>
Date: Wed, 7 Dec 2022 13:45:21 +0100
Subject: [PATCH] Update GitHub Action

This should fix this CI deprecation warning:
	Miniconda (3.10, ubuntu-latest)
	Node.js 12 actions are deprecated. For more information see:
	https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/
	Please update the following actions to use Node.js 16:
	actions/checkout@v2
---
 .github/workflows/push_pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
index fe48723..787355e 100644
--- a/.github/workflows/push_pr.yml
+++ b/.github/workflows/push_pr.yml
@@ -14,7 +14,7 @@ jobs:
             os: ["ubuntu-latest"]
             python-version: ["3.6", "3.7", "3.8", "3.9", "3.10"]
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
         with:
           submodules: true
           lfs: true