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

Fix weasel infiniband interface name #230

Manually merged
abonerib merged 1 commits from abonerib/jungle:weasel-inifi into master 2026-02-26 10:28:07 +01:00
Conversation 1 Commits 1 Files Changed 1 +1 -1
abonerib commented 2026-02-24 14:41:45 +01:00
Collaborator
Copy Link
No description provided.
abonerib added 1 commit 2026-02-24 14:41:46 +01:00
Fix weasel infiniband interface name
All checks were successful
CI / build:cross (pull_request) Successful in 8s
Details
CI / build:all (pull_request) Successful in 16s
Details
39758279df
abonerib requested review from rarias 2026-02-24 14:41:46 +01:00
rarias approved these changes 2026-02-26 10:10:08 +01:00
rarias left a comment
Owner
Copy Link

Thanks!

Thanks!
abonerib force-pushed weasel-inifi from 39758279df to 4899d20748 2026-02-26 10:26:06 +01:00 Compare
abonerib manually merged commit 4899d20748 into master 2026-02-26 10:28:07 +01:00
Sign in to join this conversation.
Reviewers
No Reviewers
rarias
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 anavarro arocanon varcila rarias
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#230
Delete Branch "abonerib/jungle:weasel-inifi"

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?