lint-and-reload / lint (push) Successful in 1s
Først to kort om hva velet gjør (medlemskap og nabohjelp), så det som kan ses på (trafikkmeldinger, anleggsfeil, oppslagstavla), deretter de fire dørene som før. Nytt: den som melder seg inn, ber om hjelp eller legger ut et oppslag får e-post når saken kommer inn og når den flytter seg, og medlemmet kan melde seg ut selv gjennom sin egen lenke. Ordene er løftet fra den forrige utgaven av siden. Bygget av portal-trainer fra plans/tomtervel.yaml (runs/tomtervel-opener-2026-09-23): 30 av 38 rutet riktig med beskrivelser, 26 av 38 på overskrifter alene, som før. Lint med iris v0.3.46. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
27 lines
888 B
YAML
27 lines
888 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.3.46
|
|
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 ""
|