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 <noreply@anthropic.com>

.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