From 5510583f6fdcdf31c5f6c5983b8e12b16368a452 Mon Sep 17 00:00:00 2001
From: Seth Tisue <seth@tisue.net>
Date: Wed, 16 Aug 2023 12:35:25 -0700
Subject: [PATCH] bump GitHub Actions versions

I don't expect any relevant behavior differences, but GitHub was
complaining ("The following actions uses node12 which is deprecated
and will be forced to run on node16")
---
 .github/workflows/ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a50d7e7..5176588 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,9 +15,9 @@ jobs:
     env:
       CI_SCALA_VERSION: ${{matrix.scala}}
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - uses: coursier/cache-action@v6
-    - uses: actions/setup-java@v2
+    - uses: actions/setup-java@v3
       with:
         distribution: temurin
         java-version: ${{matrix.java}}