Lint med portal lint v0.6.0 #6

Merged
bl merged 1 commits from portal-lint into main 2026-09-30 15:40:32 +02:00
+5 -5
View File
@@ -14,14 +14,14 @@ jobs:
- name: checkout
run: |
rm -rf checkout && git clone --depth 1 "${{ github.server_url }}/${{ github.repository }}.git" checkout
# iris er portalens lint. Den skal stå på samme versjon som
# portalen vel-et kjører (PORTAL_RELEASE i infrastructure/.env).
# Linten er portalen selv (`portal lint`), på samme versjon som
# den vel-et kjører (PORTAL_RELEASE i infrastructure/.env).
- name: lint
env:
IRIS_RELEASE: v0.5.10
PORTAL_RELEASE: v0.6.0
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" -o portal && chmod +x portal
./portal lint --path checkout/questions
# Vel-et har sin egen NATS nå, på 4223. 4222 er Klingenberg Byggs
# felles buss, og en reload dit når ikke lenger fram til dette
# nettstedet. Bussen krever passord; det ligger som repo-