From da515feb0a30d28cf5a956f452a58907b14564dd Mon Sep 17 00:00:00 2001 From: Bendik Aagaard Lynghaug Date: Mon, 5 Oct 2026 13:13:18 +0200 Subject: [PATCH] The lint is portal lint from the portal release iris stopped at v0.5.10; the lint has been portal itself since 0.6.0, fetched from the portal release this site runs, as uhhm/questions does. Co-Authored-By: Claude Fable 5.1 --- .gitea/workflows/lint-and-reload.yml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/.gitea/workflows/lint-and-reload.yml b/.gitea/workflows/lint-and-reload.yml index 6dfa832..5590273 100644 --- a/.gitea/workflows/lint-and-reload.yml +++ b/.gitea/workflows/lint-and-reload.yml @@ -15,18 +15,18 @@ jobs: steps: - uses: actions/checkout@v4 - # 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). + # The lint is portal itself (`portal lint`, since portal 0.6.0; + # iris is no longer released), at the version this site runs + # (PORTAL_RELEASE in deploy.yml). - name: Lint questions env: - IRIS_RELEASE: v0.6.20 + PORTAL_RELEASE: v0.6.20 run: | # The checkout is on a noexec mount for this runner; the cargo # target dir is where it may run what it fetched. - bin="/var/local/cargo-target/iris-$IRIS_RELEASE" - [ -x "$bin" ] || { curl -sfL "${{ github.server_url }}/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o "$bin" && chmod +x "$bin"; } - "$bin" check --path questions + bin="/var/local/cargo-target/portal-lint-$PORTAL_RELEASE" + [ -x "$bin" ] || { curl -sfL "${{ github.server_url }}/uhhm/portal/releases/download/$PORTAL_RELEASE/portal-x86_64-linux" -o "$bin" && chmod +x "$bin"; } + "$bin" lint --path questions reload: runs-on: bare