Merge remote-tracking branch 'origin/master' into mathlib-bump

leanprover-community · Oct 23, 2023 · c4687a3 · c4687a3
2 parents ceec5e1 + 9c5d579
commit c4687a3
Showing 1 changed file with 2 additions and 3 deletions.
diff --git 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