develop #1

Merged
steffen merged 5 commits from develop into main 2026-03-14 15:21:31 +01:00
Owner
No description provided.
steffen added 2 commits 2026-03-14 15:00:58 +01:00
- Update README, AGENTS.md, docs/index.md, docs/deployment/cd.md,
  docs/services/forgejo.md: replace deploy-rs with Comin everywhere
- Fix repo URL references (cryodev-server -> cryodev)
- Fix forgejo admin create command to use shell alias
- Rewrite cd.md for Comin-only deployment
fix Pi build and CI pipeline ordering
Some checks failed
CI / flake-check (pull_request) Successful in 33s
CI / build-hosts (pull_request) Failing after 47s
6ad46e7452
- Fix Pi kernel build: disable includeDefaultModules in initrd.
  NixOS all-hardware.nix includes dw-hdmi which doesn't exist in
  the RPi4 kernel 6.12, causing module-shrunk to fail.
- Fix CI: SD image build now depends on build-hosts instead of
  flake-check, so it won't run if the Pi build fails.
- Apply same fix to raspberry-pi template.
steffen added 1 commit 2026-03-14 15:04:46 +01:00
fix Pi build: force initrd modules to exclude x86 hardware
Some checks failed
CI / flake-check (pull_request) Successful in 31s
CI / build-hosts (pull_request) Failing after 1m23s
2155f4073f
sd-image.nix imports all-hardware.nix which adds modules like dw-hdmi
that don't exist in the RPi4 kernel. mkForce the availableKernelModules
list to only include Pi-relevant modules.
steffen added 2 commits 2026-03-14 15:13:31 +01:00
markdown-preview.nvim runs yarn install which compiles native binaries.
Under QEMU aarch64 emulation on x86_64 this causes 'Illegal instruction'
crashes. Pi images must be built locally or on a native aarch64 runner.

Pi deployment still works via Comin (builds locally on the Pi itself).
remove markdown-preview plugin, re-enable Pi builds in CI
All checks were successful
CI / flake-check (pull_request) Successful in 35s
CI / build-hosts (pull_request) Successful in 6m51s
c81b43530a
markdown-preview.nvim runs yarn install with native Node.js binaries
that crash under QEMU aarch64 emulation. The plugin is also useless
on headless servers (requires a browser). Removing it allows the Pi
build to succeed in CI again.

Re-enabled Pi build and SD image jobs in both ci.yml and deploy.yml.
steffen merged commit badf970041 into main 2026-03-14 15:21:31 +01:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: steffen/cryodev#1
No description provided.