Merge pull request #18 from mattpolzin/mattpolzin-patch-1

Update CI action versions
mattpolzin · Jan 14, 2023 · 75b9310 · 75b9310
2 parents 649dd13 + f85ca45
commit 75b9310
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build_example.yml b/.github/workflows/build_example.yml
@@ -17,7 +17,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: Build example project

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