Fix lint workflow TMPDIR handling

This commit is contained in:
andrussal 2025-12-01 18:39:08 +01:00
parent e1c2bb2b95
commit 491df5ee4f

View File

@ -130,10 +130,11 @@ jobs:
LOCAL_DEMO_RUN_SECS: 120 LOCAL_DEMO_RUN_SECS: 120
LOCAL_DEMO_VALIDATORS: 1 LOCAL_DEMO_VALIDATORS: 1
LOCAL_DEMO_EXECUTORS: 1 LOCAL_DEMO_EXECUTORS: 1
TMPDIR: ${{ runner.temp }}
NOMOS_CIRCUITS: ${{ github.workspace }}/.tmp/nomos-circuits NOMOS_CIRCUITS: ${{ github.workspace }}/.tmp/nomos-circuits
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
- name: Set temp dir
run: echo "TMPDIR=${{ runner.temp }}" >> "$GITHUB_ENV"
- name: Install system dependencies - name: Install system dependencies
run: | run: |
set -euo pipefail set -euo pipefail