Merge branch 'dev' of github.com:MushroomRL/mushroom-rl into dev

MushroomRL · Dec 25, 2022 · 1360869 · 1360869
2 parents a5ac155 + 7c6e75f
commit 1360869
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/continuous_integration.yml b/.github/workflows/continuous_integration.yml
@@ -12,9 +12,9 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - name: Set up Python 3.8
-      uses: actions/setup-python@v2
+      uses: actions/setup-python@v3
       with:
         python-version: 3.8
     - name: Install dependencies