Update test.yml

mattpolzin · Jan 14, 2023 · f85ca45 · f85ca45
1 parent 54344e4
commit f85ca45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -33,7 +33,7 @@ jobs:
       - name: Install Dependencies
         run: apt-get update && apt-get -y install git libpq-dev libpq5 libc6-dev
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
       - name: Build pg-idris
         run: make && make install
       - name: Test pg-idris