diff --git a/.gitea/workflows/lint-and-reload.yml b/.gitea/workflows/lint-and-reload.yml index 8cd9be7..d94b63c 100644 --- a/.gitea/workflows/lint-and-reload.yml +++ b/.gitea/workflows/lint-and-reload.yml @@ -15,18 +15,18 @@ jobs: steps: - uses: actions/checkout@v4 - # iris (uhhm/iris) is the lint: it reads content with the portal - # release it is pinned to, so IRIS_RELEASE should match the portal - # this site runs (PORTAL_RELEASE in deploy.yml). + # The lint is portal itself (`portal lint`, since portal 0.6.0; + # iris is no longer released), at the version this site runs + # (PORTAL_RELEASE in deploy.yml). - name: Lint questions env: - IRIS_RELEASE: v0.6.15 + PORTAL_RELEASE: v0.6.15 run: | # The checkout is on a noexec mount for this runner; the cargo # target dir is where it may run what it fetched. - bin="/var/local/cargo-target/iris-$IRIS_RELEASE" - [ -x "$bin" ] || { curl -sfL "${{ github.server_url }}/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o "$bin" && chmod +x "$bin"; } - "$bin" check --path questions + bin="/var/local/cargo-target/portal-lint-$PORTAL_RELEASE" + [ -x "$bin" ] || { curl -sfL "${{ github.server_url }}/uhhm/portal/releases/download/$PORTAL_RELEASE/portal-x86_64-linux" -o "$bin" && chmod +x "$bin"; } + "$bin" lint --path questions reload: runs-on: bare