Merge pull request #388 from agda/dependabot/github_actions/actions/c…

…heckout-3 Bump actions/checkout from 2 to 3
agda · Aug 8, 2023 · e721f79 · e721f79
2 parents 4bbb9e6 + 30d83eb
commit e721f79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -134,7 +134,7 @@ jobs:
 
       # By default github actions do not pull the repo
       - name: Checkout agda-categories
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       # Generate a fresh Everything.agda & index.agda and start building!
       - name: Test agda-categories