From 5902ae504ed5d2610e8d6500d9d5c71e181c281f Mon Sep 17 00:00:00 2001
From: Robert Smith <robert@stylewarning.com>
Date: Thu, 8 Feb 2024 15:58:04 -0800
Subject: [PATCH] Update pr.yml to node.js 20

---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 69c102c..44dbd03 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -17,7 +17,7 @@ jobs:
       ALLEGRO_LICENSE: ${{ secrets.ALLEGRO_LICENSE }}
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Build the Docker image
         run: |
                docker build ${{ matrix.LISP_IMPLEMENTATION }} --build-arg ALLEGRO_LICENSE --tag ghcr.io/coalton-lang/${{ matrix.LISP_IMPLEMENTATION }}-base:latest