diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 12f70a1..24d7385 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,5 @@
 on:
   push:
-  pull_request:
 
 jobs:
   update_lean_xyz_branch_and_build:
@@ -9,7 +8,7 @@ jobs:
     steps:
 
     - name: checkout project
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
       with:
         fetch-depth: 0
 
@@ -25,7 +24,7 @@ jobs:
         echo "$HOME/.elan/bin" >> $GITHUB_PATH
 
     - name: install Python
-      uses: actions/setup-python@v1
+      uses: actions/setup-python@v3
       with:
         python-version: 3.8