Files
Bendik Aagaard LynghaugandClaude Fable 5.1 e543b41cb0
Test / test (push) Successful in 4m53s
CI: a writable CARGO_HOME, so the portal git dependency can be fetched
The shared /var/local/cargo is read-only for the runner; 0.1.1 built
only because this machine had already cloned the same portal tag into
it.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01L4jrCgLiKKHAEFuZUJjckH
2026-09-22 17:50:53 +02:00

38 lines
1.2 KiB
YAML

name: Test
on:
push:
branches: [main]
pull_request:
jobs:
test:
runs-on: bare
env:
# Same shared toolchain and cache as uhhm/portal's workflows.
# Not the shared /var/local/cargo: the runner may only read it, and
# the portal git dependency has to be cloned into CARGO_HOME. This
# one lives under the writable target dir; the rustc wrapper the
# shared config would have set is given here instead.
CARGO_HOME: /var/local/cargo-target/iris-cargo-home
RUSTC_WRAPPER: /usr/bin/sccache
RUSTUP_HOME: /var/local/rustup
PATH: /var/local/cargo/bin:/usr/local/sbin:/usr/local/bin:/usr/bin
SCCACHE_DIR: /var/local/sccache
SCCACHE_SERVER_PORT: "4228"
CARGO_TARGET_DIR: /var/local/cargo-target
steps:
- uses: actions/checkout@v4
- name: Test
run: cargo test
# The one thing a lint must never do is reject the content it
# is meant to serve: every live content repo has to pass.
- name: Check the live content repos
run: |
cargo build --release
for repo in uhhm/questions redoal/questions; do
/var/local/cargo-target/release/iris check --repo "${{ github.server_url }}/$repo"
done