diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index 52104269..190660d5 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -17,7 +17,7 @@ jobs:
   linux:
     strategy:
       matrix:
-        agda: [2.6.1.3, 2.6.2.1]
+        agda: [2.6.2.1]
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v1