From 51ab7716991818179a22b53b65ed1b45205d4898 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Fri, 6 Sep 2024 18:18:41 +0200 Subject: [PATCH] update --- .github/workflows/build.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5d6afd1..9b6612d 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -17,4 +17,5 @@ jobs: ghc-version: 9.8.2 cabal-version: 3.10.3.0 - name: Install Agda - run: cabal install Agda \ No newline at end of file + run: cabal install Agda + - \ No newline at end of file