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

Add quickShell to build devshells quickly #209

Open
abonerib wants to merge 1 commits from abonerib/jungle:quick-shell into master
pull from: abonerib/jungle:quick-shell
merge into: rarias:master
Conversation 0 Commits 1 Files Changed 2 +77
abonerib commented 2025-10-28 16:57:03 +01:00
Collaborator
Copy Link

This is the same I built in: https://github.com/Leixb/quick-nix

But I think it'll be better to have it in sync with jungle instead of having to update the flake lock.

I am probably the only one that will use it.

This is the same I built in: https://github.com/Leixb/quick-nix But I think it'll be better to have it in sync with jungle instead of having to update the flake lock. I am probably the only one that will use it.
abonerib added 1 commit 2025-10-28 16:57:04 +01:00
Add quickShell to build devshells quickly
All checks were successful
CI / build:cross (pull_request) Successful in 6s
Details
CI / build:all (pull_request) Successful in 18s
Details
9deef256a2
All checks were successful
CI / build:cross (pull_request) Successful in 6s
Details
CI / build:all (pull_request) Successful in 18s
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 quick-shell:abonerib-quick-shell
git checkout abonerib-quick-shell
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
ceph
ci
config
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#209
No description provided.
Delete Branch "abonerib/jungle:quick-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?