From a4c0ad4ae9eff514e726df9e7bc7ed024401718d Mon Sep 17 00:00:00 2001
From: Dai MIKURUBE <dmikurube@acm.org>
Date: Thu, 25 Apr 2024 17:35:12 +0900
Subject: [PATCH] Use macos-13 in GitHub Actions

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

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index c11217d9..71c91d3b 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -11,7 +11,7 @@ jobs:
       matrix:
         os:
         - ubuntu-latest
-        - macOS-latest
+        - macos-13  # OpenJDK 8 is not supported on macos-14+ (M1).
         - windows-latest
     steps:
     - name: Set Git's core.autocrlf to false for Windows before checkout