From d501dbca797eeeaa378024424b355c8913a267dd Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Thu, 5 Sep 2024 22:38:56 +0200
Subject: [PATCH] only ubuntu for now

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ab87530..5d6afd1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,11 +4,12 @@ on: [push]
 
 jobs:
   build:
-    runs-on: ${{ matrix.os }}
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macOS-latest, windows-latest]
-        agda-version: [2.6.2, 2.7.0]
+    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]
 
     steps:
       - uses: haskell-actions/setup@v2