From ee83c99c133605f014075a6016f13187bd65a804 Mon Sep 17 00:00:00 2001 From: Samuel Riedel Date: Tue, 19 May 2026 12:19:34 +0200 Subject: [PATCH] [ci] Reduce limit for the formal CI Some runners have less memory available and the CI can crash on those if we don't limit the memory. --- .github/workflows/ci-formal.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-formal.yml b/.github/workflows/ci-formal.yml index d2d051b0f2..414cc8da47 100644 --- a/.github/workflows/ci-formal.yml +++ b/.github/workflows/ci-formal.yml @@ -21,7 +21,7 @@ jobs: steps: - name: Setup env run: | - echo "MAX_MEM_GB=100" >> $GITHUB_ENV # Maximum memory available to conductor.py, which is inversely proportional to time. 200GB -> 40 mins + echo "MAX_MEM_GB=60" >> $GITHUB_ENV # Maximum memory available to conductor.py, which is inversely proportional to time. 200GB -> 40 mins echo "NIX_CONFIG=accept-flake-config = true" >> $GITHUB_ENV - name: Notify about queued execution