thubrecht
0 followers · 0 following
  • Joined on 2023-09-14
Repositories
2
 Projects Packages Public activity Starred repositories
5
thubrecht pushed to main at DGNum/infrastructure 2024-10-08 17:05:42 +02:00
4d689fee33 feat(krz01): enable proprietary drivers for nVidia
thubrecht merged pull request DGNum/infrastructure#138 2024-10-08 17:05:41 +02:00
feat(krz01): enable proprietary drivers for nVidia
thubrecht pushed to pmnos-correctness at DGNum/infrastructure 2024-10-08 16:58:31 +02:00
6679036574 fix(krz01): apply a correctness patch on proxmox-nixos
862f004e3c fix(krz01): disable proxmox for now
da40fa9b3d fix(krz01): Fix root password hash
c642e98ab9 fix(cache): Make instructions and code work
fb610306ee feat(workflows/eval): Add krz01 to the CI
Compare 8 commits »
thubrecht deleted branch disable-proxmox from DGNum/infrastructure 2024-10-08 16:58:16 +02:00
thubrecht pushed to main at DGNum/infrastructure 2024-10-08 16:58:16 +02:00
862f004e3c fix(krz01): disable proxmox for now
thubrecht merged pull request DGNum/infrastructure#140 2024-10-08 16:58:14 +02:00
fix(krz01): disable proxmox for now
thubrecht pushed to nvidia at DGNum/infrastructure 2024-10-08 16:32:48 +02:00
4785093b6a feat(krz01): enable proprietary drivers for nVidia
da40fa9b3d fix(krz01): Fix root password hash
Compare 2 commits »
thubrecht pushed to main at DGNum/infrastructure 2024-10-08 15:50:25 +02:00
c642e98ab9 fix(cache): Make instructions and code work
thubrecht closed pull request DGNum/infrastructure#117 2024-10-08 15:43:15 +02:00
chore(ds-fr): Update
thubrecht pushed to main at DGNum/infrastructure 2024-10-08 14:15:07 +02:00
fb610306ee feat(workflows/eval): Add krz01 to the CI
37d0ca9489 chore(dgsi): Update?
Compare 2 commits »
thubrecht pushed to main at DGNum/dgsi 2024-10-07 19:30:59 +02:00
129641cc1f feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 19:28:42 +02:00
5d6e042724 feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 19:26:43 +02:00
40634a02e0 feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 19:24:25 +02:00
5e929ce341 feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 19:12:28 +02:00
6cd510fc87 feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 17:53:57 +02:00
6f1e23527c feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 16:53:02 +02:00
184dc47541 feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 16:49:13 +02:00
033546e7fa feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 16:46:06 +02:00
aec31db3e3 feat(account): Print extra data for dev in production
thubrecht pushed to main at DGNum/dgsi 2024-10-07 15:56:30 +02:00
bf96d3f484 feat(account): Print extra data for dev in production