rarias/jungle
2
0
Fork 3
Code Issues 57 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Add machine map file #107

Manually merged
rarias merged 1 commits from add-map into master 2025-06-02 14:57:11 +02:00
Conversation 1 Commits 1 Files Changed 1 +69
rarias commented 2025-06-02 12:13:43 +02:00
Owner
Copy Link

Documents the location, board and serial numbers so we can track the
machines if they move around. Some information is unkown.

Using the Nix language to encode the machines location and properties
allows us to later use that information in the configuration of the
machines themselves.

Documents the location, board and serial numbers so we can track the machines if they move around. Some information is unkown. Using the Nix language to encode the machines location and properties allows us to later use that information in the configuration of the machines themselves.
rarias added 1 commit 2025-06-02 12:13:44 +02:00
Add machine map file 2c42a0d3d6 
Documents the location, board and serial numbers so we can track the
machines if they move around. Some information is unkown.

Using the Nix language to encode the machines location and properties
allows us to later use that information in the configuration of the
machines themselves.
rarias requested review from abonerib 2025-06-02 12:15:28 +02:00
abonerib approved these changes 2025-06-02 14:15:21 +02:00
abonerib left a comment
Collaborator
Copy Link

LGTM

LGTM
rarias force-pushed add-map from 2c42a0d3d6 to 1bcfbf8cd6 2025-06-02 14:56:12 +02:00 Compare
rarias manually merged commit 1bcfbf8cd6 into master 2025-06-02 14:57:11 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
abonerib
Labels
Clear labels
bug
ceph
ci
config
cross
hw
io
kernel
mpi
net
nix
ops
repair
slurm
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abonerib arocanon varcila rarias
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#107
Delete Branch "add-map"

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?