Portal v0.6.2, og lint med portal lint

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

.gitea/workflows/lint-and-reload.yml

@@ -9,11 +9,13 @@ jobs:
       - name: checkout
         run: |
           rm -rf checkout && git clone --depth 1 https://prosjekt.klingenbergbygg.no/klingenbergbygg/questions.git checkout
+      # The lint is portal itself (`portal lint`), at the version this
+      # site runs (PORTAL_RELEASE in deploy.yml).
       - name: lint
         env:
-          IRIS_RELEASE: v0.5.2
+          PORTAL_RELEASE: v0.6.2
         run: |
-          curl -sfL "https://project.uhhm.no/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o iris && chmod +x iris
-          ./iris check --path checkout/questions
+          curl -sfL "https://project.uhhm.no/uhhm/portal/releases/download/$PORTAL_RELEASE/portal-x86_64-linux" -o portal && chmod +x portal
+          ./portal lint --path checkout/questions
       - name: reload
         run: nats --server nats://127.0.0.1:4222 pub portal.content.reload ""