Lint with iris v0.3.39 (iris is versioned as portal from here on)
lint-and-reload / lint (push) Successful in 0s

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01L4jrCgLiKKHAEFuZUJjckH
This commit is contained in:
bl
2026-09-23 06:09:08 +02:00
co-authored by Claude Fable 5.1
parent bbcab04a52
commit 0667820484
+1 -1
View File
@@ -17,7 +17,7 @@ jobs:
# runs (v0.3.36 on kasse).
- name: lint
env:
IRIS_RELEASE: v0.1.1
IRIS_RELEASE: v0.3.39
run: |
curl -sfL "https://project.uhhm.no/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o iris && chmod +x iris
./iris check --path checkout/questions