From c4a68dad7e20bd9bf2ee90dc36408e7ae98a2a98 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= <piotr.paradzinski@gmail.com>
Date: Wed, 4 Dec 2024 20:12:46 +0100
Subject: [PATCH] Update pr.yml

---
 .github/workflows/pr.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index c6f5d77..1192b7b 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -9,9 +9,9 @@ jobs:
     name: Build
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: cachix/install-nix-action@v17
-      - uses: cachix/cachix-action@v10
+      - uses: actions/checkout@v4
+      - uses: cachix/install-nix-action@v30
+      - uses: cachix/cachix-action@v15
         with:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}