From 6c583eb14d57a18cf1e0b503d53c69506f341d15 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Tabacsk=C3=B3?= Date: Sun, 29 Jun 2025 16:25:55 +0200 Subject: [PATCH] chore: download ormolu from binary instead --- .github/workflows/ci.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 15b25f8..7e98aac 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -29,9 +29,13 @@ jobs: path: . fail-on: warning - - name: Install ormolu + - name: Download Ormolu binary run: | - stack install ormolu + curl -L https://github.com/tweag/ormolu/releases/download/0.6.0.1/ormolu-Linux.zip -o ormolu.zip + unzip ormolu.zip + chmod +x ormolu + sudo mv ormolu /usr/local/bin/ + ormolu --version - name: Check formatting with ormolu run: |