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

Change varcila shell #216

Open
varcila wants to merge 1 commits from varcila/jungle:varcila-change-shell into master
pull from: varcila/jungle:varcila-change-shell
merge into: rarias:master
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
All checks were successful
CI / build:all (pull_request) Successful in 1h35m19s
Details
CI / build:cross (pull_request) Successful in 1h35m17s
Details
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u varcila-change-shell:varcila-varcila-change-shell
git checkout varcila-varcila-change-shell
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
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#216
No description provided.
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?