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

Change varcila shell #216

Manually merged
varcila merged 1 commits from varcila/jungle:varcila-change-shell into master 2026-01-07 13:25:51 +01:00
Conversation 0 Commits 1 Files Changed 1 +1
varcila commented 2025-11-18 18:14:28 +01:00
Collaborator
Copy Link
No description provided.
varcila added 1 commit 2025-11-18 18:14:29 +01:00
Change varcila shell
All checks were successful
CI / build:all (pull_request) Successful in 1h35m19s
Details
CI / build:cross (pull_request) Successful in 1h35m17s
Details
895c0cd687
rarias force-pushed varcila-change-shell from 895c0cd687 to 859eebda98 2026-01-07 13:23:26 +01:00 Compare
varcila manually merged commit 859eebda98 into master 2026-01-07 13:25:51 +01:00
Sign in to join this conversation.
Reviewers
No Reviewers
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#216
Delete Branch "varcila/jungle:varcila-change-shell"

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?