From 5b73fb52dd52b14e14649e7f32e3a13884a16b30 Mon Sep 17 00:00:00 2001 From: Bendik Aagaard Lynghaug Date: Tue, 22 Sep 2026 17:29:13 +0200 Subject: [PATCH] Lint with iris v0.1.0 The lint now lives in uhhm/iris, pinned to the portal release it matches; question_lint leaves the portal tarball. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01L4jrCgLiKKHAEFuZUJjckH --- .gitea/workflows/lint-and-reload.yml | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/.gitea/workflows/lint-and-reload.yml b/.gitea/workflows/lint-and-reload.yml index 00f2d21..ec55fe0 100644 --- a/.gitea/workflows/lint-and-reload.yml +++ b/.gitea/workflows/lint-and-reload.yml @@ -15,13 +15,15 @@ jobs: steps: - uses: actions/checkout@v4 - # Same bare-metal runner/host as this repo's own Deploy workflow, - # which ships question_lint alongside the portal binary in every - # pinned release - so content is validated by the exact portal - # version this instance runs, not a hand-maintained yq/jq subset - # of the same rules. + # iris (uhhm/iris) is the lint: it reads content with the portal + # release it is pinned to, so IRIS_RELEASE should match the portal + # this site runs (PORTAL_RELEASE in deploy.yml). - name: Lint questions - run: /srv/app/uhhm-portal/current/question_lint --path questions + env: + IRIS_RELEASE: v0.1.1 + run: | + curl -sfL "${{ github.server_url }}/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o iris && chmod +x iris + ./iris check --path questions reload: runs-on: bare