Files
questions/.gitea/workflows/lint-and-reload.yml
T
bl f6b5060be3
Deploy instance / deploy (push) Successful in 3s
lint-and-reload / lint (push) Successful in 1s
Lint with iris v0.5.2, matching the portal this runs
2026-09-28 18:25:31 +02:00

27 lines
887 B
YAML

# Lint on the kasse runner (the portal instance lives there), then
# nudge the running portal to refetch content over local NATS.
name: lint-and-reload
on:
push:
branches: [main]
pull_request:
jobs:
lint:
runs-on: fish
steps:
- name: checkout
run: |
rm -rf checkout && git clone --depth 1 "${{ github.server_url }}/${{ github.repository }}.git" checkout
# iris is portal's lint; pin it to the portal release the instance
# runs (v0.3.36 on kasse).
- name: lint
env:
IRIS_RELEASE: v0.5.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
- name: reload
if: github.event_name == 'push'
run: nats --server nats://127.0.0.1:4222 pub portal.content.reload ""