this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Restore GitHub Actions CI with a minimal workflow #1

open opened by jonaskruckenberg.de

Context: CI was removed during the Buck2 migration and nothing enforces build/test/lints on PRs today. This is the blocker for almost every other quality initiative.

Scope:

  • Create .github/workflows/ci.yml with jobs:
    • fmtcargo fmt --check
    • checkjust check
    • clippyjust clippy
    • test-hostjust test
    • test-qemu-riscv64 → smoke test (tracked separately; start with continue-on-error: true)
    • buck2-audit → a few buck2 audit sanity checks
  • Use DeterminateSystems/nix-installer-action + magic-nix-cache for the toolchain.
  • Cache buck-out/v2/cache via actions/cache.
  • Pin runners to ubuntu-24.04, not ubuntu-latest.

Out of scope: miri, docs, benches, merge queue — each has its own issue.

Acceptance: a PR with a trivial change goes green end-to-end.

sign up or login to add to the discussion
Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:wur5mmsnhlocanyqtus3oex5/sh.tangled.repo.issue/3mjkd7vusm522