From 8b83554b1c0dbabee09e43e1401e4091aa6518f3 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Fri, 6 Sep 2024 23:29:08 +0200
Subject: [PATCH] try mac

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 25f6c7f..6667570 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -5,14 +5,14 @@ on: [push]
 jobs:
   build:
     runs-on: ubuntu-latest
-    # runs-on: ${{ matrix.os }}
-    # strategy:
-    #   matrix:
-    #     os: [ubuntu-latest, macOS-latest, windows-latest]
-    #     agda-version: [2.6.2, 2.7.0]
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest, macOS-latest]
+        # agda-version: [2.6.2, 2.7.0]
 
     steps:
-      - name: Cache Primes
+      - name: Cache cabal
         uses: actions/cache@v4
         with:
           path: ~/.cabal