Merge requests · RNL / Nix RNL

Merge trains

Resolve "[CI]: Add verification of secrets" 0 of 3 checklist items completed

!96 · created May 15, 2024 by Nuno Alves
enhancement
- Merged
- Approved
updated Mar 27, 2025
Resolve "Move Wheatley config to a repository" 0 of 3 checklist items completed

!94 · created May 09, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Resolve "Add coq package" 0 of 3 checklist items completed

!92 · created Apr 27, 2024 by André Romão
enhancement sitelabs software
- Merged
- 1
- Approved
updated Apr 27, 2024
Resolve: "[Labs]: Logout idle sessions with more than X hours" 1 of 3 checklist items completed

!90 · created Apr 16, 2024 by Carlos Jorge Simão Nogueira Vaz
enhancement sitelabs
- Merged
- Approved
updated Mar 11, 2025
Resolve "[Weaver]: Add NetBox" 1 of 3 checklist items completed

!89 · created Mar 24, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Resolve "[Selene]: Add Helios Voting System" 0 of 3 checklist items completed

!88 · created Mar 23, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Resolve "[Labs]: Add support to extra users" 1 of 3 checklist items completed

!83 · created Mar 12, 2024 by Nuno Alves
enhancement sitelabs
- Merged
- Approved
updated Mar 27, 2025
Resolve "[Tardis]: Add host" 0 of 3 checklist items completed

!82 · created Mar 03, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- 1
- Approved
updated Apr 15, 2025
Resolve "[DEI]: Add host" 1 of 3 checklist items completed

!81 · created Feb 24, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Resolve "Add Transmission profile" 1 of 3 checklist items completed

!78 · created Feb 18, 2024 by Nuno Alves
enhancement sitelabs
- Merged
- Approved
updated Mar 27, 2025
Resolve "Add Wheatley" 1 of 3 checklist items completed

!77 · created Feb 18, 2024 by Nuno Alves
enhancement software
- Merged
- 1
- Approved
updated Mar 27, 2025
Resolve "[Labs]: Add GitLab Runners" 0 of 3 checklist items completed

!76 · created Feb 15, 2024 by André Romão
enhancement sitelabs
- Merged
- 5
- 1
- Approved
updated Feb 24, 2024
Resolve "[Thomas]: Add host" 1 of 3 checklist items completed

!75 · created Feb 14, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Resolve "[Blatta]: Add host" 1 of 3 checklist items completed

!74 · created Feb 13, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- 1
- Approved
updated Mar 27, 2025
Resolve "[Dealer]: Add host" 1 of 3 checklist items completed

!72 · created Feb 12, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- +2
- Approved
updated Mar 27, 2025
Resolve "Add Slurm Accounting" 1 of 3 checklist items completed

!71 · created Feb 10, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Draft: Resolve "[FTP]: Add host" 0 of 3 checklist items completed

!68 · created Jan 24, 2024 by Nuno Alves
enhancement outdated siteinfra
- 1
- 0 of 1 Approvals
updated Jun 24, 2025
Resolve "Add backups" 0 of 3 checklist items completed

!66 · created Jan 19, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- Approved
updated Mar 27, 2025
Resolve "[Gitseed]: Add host" 2 of 3 checklist items completed

!65 · created Jan 11, 2024 by Nuno Alves
enhancement siteinfra
- Merged
- 1
- Approved
updated Mar 27, 2025
Resolve "[Dredd]: Add host" 1 of 3 checklist items completed

!60 · created Nov 23, 2023 by Nuno Alves
enhancement siteinfra
- Merged
- 2
- 1
- Approved
updated Mar 27, 2025