From dff88d4ef0157be40b5f2b42acc846e0596bb87d Mon Sep 17 00:00:00 2001
From: Calvin Lee <pounce@integraldoma.in>
Date: Wed, 15 Jan 2025 12:06:25 +0000
Subject: [PATCH] update workflows

---
 .github/workflows/ci.yml       | 4 ++--
 .github/workflows/nix-agda.yml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c3c25df..0bab378 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,7 +17,7 @@ jobs:
     name: Stack macOS
     uses: ./.github/workflows/stack.yml
     with:
-      os: macos-12
+      os: macos-latest
 
   stack-windows:
     name: Stack Windows
@@ -36,4 +36,4 @@ jobs:
     name: Nix macOS
     uses: ./.github/workflows/nix.yml
     with:
-      os: macos-12
+      os: macos-latest
diff --git a/.github/workflows/nix-agda.yml b/.github/workflows/nix-agda.yml
index 575131f..6036db9 100644
--- a/.github/workflows/nix-agda.yml
+++ b/.github/workflows/nix-agda.yml
@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ 'macos-12' , 'ubuntu-22.04']
+        os: [ 'macos-latest' , 'ubuntu-22.04']
 
     name: Nix Agda
     runs-on: ${{ matrix.os }}