The lint now lives in uhhm/iris, pinned to the portal release it matches; question_lint leaves the portal tarball. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01L4jrCgLiKKHAEFuZUJjckH
This commit is contained in:
1 parent
d49a939e20
commit
da210709fa
1 file changed
+5
-1
@@ -10,6 +10,10 @@ jobs:
|
|||||||
run: |
|
run: |
|
||||||
rm -rf checkout && git clone --depth 1 https://prosjekt.klingenbergbygg.no/klingenbergbygg/questions.git checkout
|
rm -rf checkout && git clone --depth 1 https://prosjekt.klingenbergbygg.no/klingenbergbygg/questions.git checkout
|
||||||
- name: lint
|
- name: lint
|
||||||
run: /srv/app/klingenberg-portal/current/question_lint --path checkout/questions
|
env:
|
||||||
|
IRIS_RELEASE: v0.1.1
|
||||||
|
run: |
|
||||||
|
curl -sfL "https://project.uhhm.no/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o iris && chmod +x iris
|
||||||
|
./iris check --path checkout/questions
|
||||||
- name: reload
|
- name: reload
|
||||||
run: nats --server nats://127.0.0.1:4222 pub portal.content.reload ""
|
run: nats --server nats://127.0.0.1:4222 pub portal.content.reload ""
|
||||||
Reference in new issue
Block a user