# 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.3.41 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 ""