Rodrigo Arias rarias
0 Followers · 0 Following
  • Joined on 2024-04-26
Repositories
7
 Projects Packages Public Activity Starred Repositories
rarias created pull request rarias/jungle#212 2025-10-29 15:12:52 +01:00
WIP: Update OmpSs-2 packages to 2025.11 release
rarias pushed to update-ompss2-2025.11 at rarias/jungle 2025-10-29 15:11:29 +01:00
c2eb27c200 Update OmpSs-2 LLVM to 2025.11
cd1ecbf1cd Update NODES to 1.4
35a1a56224 Update nOS-V to 4.0.0
Compare 3 commits »
rarias pushed to update-ompss2-2025.11 at rarias/jungle 2025-10-29 15:09:55 +01:00
627cde6ebb Update OmpSs-2 LLVM to 2025.11
d29414cee5 Update NODES to 1.4
d4a3e6e518 Update nOS-V to 4.0.0
6ffcb4c5da Update ovni to 1.13.0
Compare 4 commits »
rarias created branch update-ompss2-2025.11 in rarias/jungle 2025-10-29 15:09:55 +01:00
rarias created pull request rarias/jungle#211 2025-10-29 12:47:23 +01:00
Add nixgen package to quickly create development shells
rarias pushed to nixgen at rarias/jungle 2025-10-29 12:41:43 +01:00
9a05fa35d7 Add nixgen to all machines
c2002d5d55 Add nixgen package
Compare 2 commits »
rarias created branch nixgen in rarias/jungle 2025-10-29 12:41:43 +01:00
rarias pushed to robust-fetchGit at rarias/jungle 2025-10-28 12:42:59 +01:00
cc63e6f3f3 Add fetchGitMirror function
59d7374f78 Add nix patch to implement builtins.catchAll
019826d09e Add OmpSs-2 release timers and services
a294daf7e3 Use specific mail-robot group to send mail
a7018250ca Add missing slurm package to overlay
Compare 9 commits »
rarias deleted branch ompss2-timer from rarias/jungle 2025-10-28 12:41:44 +01:00
rarias merged pull request rarias/jungle#207 2025-10-28 12:41:13 +01:00
Add OmpSs-2 release timers
rarias pushed to master at rarias/jungle 2025-10-28 12:41:11 +01:00
019826d09e Add OmpSs-2 release timers and services
a294daf7e3 Use specific mail-robot group to send mail
Compare 2 commits »
rarias pushed to ompss2-timer at rarias/jungle 2025-10-28 12:38:55 +01:00
019826d09e Add OmpSs-2 release timers and services
a294daf7e3 Use specific mail-robot group to send mail
a7018250ca Add missing slurm package to overlay
e3d1785285 Run a shell in the allocated node with salloc
Compare 4 commits »
rarias deleted branch slurm-interactive from rarias/jungle 2025-10-28 12:37:42 +01:00
rarias merged pull request rarias/jungle#208 2025-10-28 12:37:32 +01:00
Run a shell in the allocated node with salloc
rarias pushed to master at rarias/jungle 2025-10-28 12:37:31 +01:00
a7018250ca Add missing slurm package to overlay
e3d1785285 Run a shell in the allocated node with salloc
Compare 2 commits »
rarias closed issue rarias/jungle#174 2025-10-28 12:37:31 +01:00
Consider running a shell in the allocated node directly
rarias pushed to slurm-interactive at rarias/jungle 2025-10-28 11:45:27 +01:00
a7018250ca Add missing slurm package to overlay
e3d1785285 Run a shell in the allocated node with salloc
Compare 2 commits »
rarias pushed to ompss2-timer at rarias/jungle 2025-10-27 13:12:46 +01:00
e1bf108731 Add OmpSs-2 release timers and services
rarias commented on pull request rarias/jungle#207 2025-10-27 13:08:56 +01:00
Add OmpSs-2 release timers

Tested both gitea notifications and running the service manually to my own email address. They all seem to work fine.

Only changed in hut, we can worry about tent later.

rarias pushed to ompss2-timer at rarias/jungle 2025-10-27 13:05:47 +01:00
38884349aa Add OmpSs-2 release timers and services
f9edbcdca5 Use specific mail-robot group to send mail
ab86243a07 Add missing which in nodes checkPhase
Compare 3 commits »