From dbfe69ed8c2ad802157095de6b8d7fa8dfeecb08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A1s=20B=20Nagy?= <20251272+BNAndras@users.noreply.github.com> Date: Wed, 29 Oct 2025 20:52:41 -0700 Subject: [PATCH] Pin CI to specific Arturo nightly (#179) * Pin CI to same nightly as test runner --- .github/workflows/test.yml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 7ba904a..722edb5 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -18,12 +18,15 @@ jobs: - name: Install dependencies run: | sudo apt-get update - sudo apt-get install libgtk-3-dev libwebkit2gtk-4.1-dev libmpfr-dev + sudo apt-get install libmpfr6 libwebkit2gtk-4.1-0 libpcre3 - name: Install Arturo - uses: arturo-lang/arturo-action@main - with: - token: ${{ github.token }} + run: | + curl -L -o arturo.zip https://github.com/arturo-lang/nightly/releases/download/2025-10-14/arturo-nightly.2025-10-13-amd64-linux-full.zip + sudo unzip arturo.zip -d /usr/local/bin/ + rm arturo.zip + sudo chmod +x /usr/local/bin/arturo + sudo ldconfig - name: Install Unitt testing framework run: arturo -p install unitt 3.0.0