Test new workflow

rahulc29 · Dec 12, 2023 · 0aeeaff · 0aeeaff
1 parent f986586
commit 0aeeaff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -9,7 +9,7 @@ jobs:
       uses: actions/checkout@v2
     - name: Run Agda
       id: typecheck
-      uses: ayberkt/agda-github-action@v1.1
+      uses: ayberkt/agda-github-action@v3.4
       with:
         main-file: index.agda
         source-dir: src