From e09c352a51c15f7048c2bb422367c1a9c19a47e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Xavier=20G=C3=B3ngora?= Date: Fri, 17 Jul 2026 11:56:52 -0600 Subject: [PATCH] Rename LiquidHaskell CI job to improve display on merge details --- .github/workflows/liquidhaskell.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: