From 0aeeaff8c449c92197794da6ba95564c9d37629d Mon Sep 17 00:00:00 2001 From: Rahul Date: Tue, 12 Dec 2023 14:09:54 +0530 Subject: [PATCH] Test new workflow --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 2d27f7d..445dc44 100644 --- 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