This website requires JavaScript.
Explore
Help
Sign In
rarias
/
jungle
Watch
2
Star
0
Fork
2
You've already forked jungle
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
rarias:master
rarias:robust-fetchGit
rarias:pkgs/gromacs
rarias:pkgs/tasycl
rarias:pkgs/tacuda
rarias:enableStrictDeps
rarias:fix/paraver
rarias:pkgs/clsparse
rarias:pkgs/aocc
rarias:pkgs/taopencl
rarias:old-master
rarias:gitea-lfs
rarias:only-restart-logins
rarias:monitor-gpfs-home
rarias:add-tent-machine
rarias:m/raccoon
rarias:add-fpga-u280
rarias:maintenance-purchase
rarias:add-fox-machine
rarias:share-files
rarias:shared-nix-store
rarias:intro-nix
rarias:lake2-ipoib
Conversation
0
Commits
1
Files Changed
2
+77
1 Commits
Author
SHA1
Message
Date
Aleix Boné
9deef256a2
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
2025-10-28 16:49:03 +01:00