raspberrypi #70
pim
commented 2024-02-28 20:42:32 +00:00
Owner
No description provided.
pim
added 5 commits 2024-02-28 20:42:34 +00:00
WIP raspberry pi support
c2e2ed5ea8
deploy-rs works for raspberrypi
1683c4caa8
integrate settings raspberry pi
25937f535b
add documentation about broken flake checks
22c235f380
skip deploy-rs flake check for architecture different from the
735a8a0ddf
pim
merged commit 735a8a0ddf into master 2024-02-28 20:42:51 +00:00
pim
deleted branch raspberrypi 2024-02-28 20:42:51 +00:00
No reviewers
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: home/nixos-servers#70
Loading…
Reference in a new issue
No description provided.
Delete branch "raspberrypi"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?