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