diff --git a/.github/workflows/liquidhaskell.yml b/.github/workflows/liquidhaskell.yml index b8147e6..01cb805 100644 --- a/.github/workflows/liquidhaskell.yml +++ b/.github/workflows/liquidhaskell.yml @@ -7,7 +7,7 @@ on: jobs: liquidhaskell: - name: Build / Run Checks + name: LiquidHaskell Static Checks runs-on: ubuntu-latest strategy: matrix: