Tomter Vel: pages, forms and desks, generated from the plan
lint-and-reload / lint (push) Successful in 1s
lint-and-reload / lint (push) Successful in 1s
Built by portal-trainer from plans/tomtervel.yaml (uhhm/portal-trainer), structure from the plan, words by Claude Sonnet. Four doors on the front page, seven group desks, needs.yaml as the spec the lint holds the pages to. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
@@ -0,0 +1,26 @@
|
||||
# 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.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
|
||||
if: github.event_name == 'push'
|
||||
run: nats --server nats://127.0.0.1:4222 pub portal.content.reload ""
|
||||
Reference in New Issue
Block a user