Lint with portal lint: iris is no longer released

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GT37Z1Xtfd9pUuQtMTg6Yt

.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
+      # The lint is portal itself (`portal lint`, since portal 0.6.0;
-      # release it is pinned to, so IRIS_RELEASE should match the portal
+      # iris is no longer released), at the version this site runs
-      # this site runs (PORTAL_RELEASE in deploy.yml).
+      # (PORTAL_RELEASE in deploy.yml).
       - name: Lint questions
         env:
-          IRIS_RELEASE: v0.6.15
+          PORTAL_RELEASE: v0.6.15
         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"
+          bin="/var/local/cargo-target/portal-lint-$PORTAL_RELEASE"
-          [ -x "$bin" ] || { curl -sfL "${{ github.server_url }}/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o "$bin" && chmod +x "$bin"; }
+          [ -x "$bin" ] || { curl -sfL "${{ github.server_url }}/uhhm/portal/releases/download/$PORTAL_RELEASE/portal-x86_64-linux" -o "$bin" && chmod +x "$bin"; }
-          "$bin" check --path questions
+          "$bin" lint --path questions
 
   reload:
     runs-on: bare