thubrecht
0 followers · 0 following
  • Joined on 2023-09-14
Repositories
3
 Projects Packages Public activity Starred repositories
5
thubrecht pushed to main at DGNum/infrastructure 2023-12-15 20:45:58 +01:00
34e3953418 fix(dgn-runners): Set NIX_PATH to current version
thubrecht pushed to npins-update at DGNum/infrastructure 2023-12-15 20:13:10 +01:00
731c2d0be6 chore(npins): Update
cad5da6d1d feat(workflows/eval): Use nix runners
9026e89669 feat(storage01): Use nix runners
8cef4a594a feat(dgn-runners): Init module for runners with a store
Compare 4 commits »
thubrecht pushed to main at DGNum/infrastructure 2023-12-15 20:12:53 +01:00
cad5da6d1d feat(workflows/eval): Use nix runners
9026e89669 feat(storage01): Use nix runners
8cef4a594a feat(dgn-runners): Init module for runners with a store
Compare 3 commits »
thubrecht closed pull request DGNum/infrastructure#17 2023-12-15 15:32:49 +01:00
chore(npins): Update
thubrecht pushed to main at DGNum/infrastructure 2023-12-15 15:24:25 +01:00
351ea9c90a feat(workflows): Test
thubrecht pushed to main at DGNum/infrastructure 2023-12-15 15:24:04 +01:00
c3a03779e4 feat(workflows): Test
thubrecht pushed to main at DGNum/infrastructure 2023-12-15 14:10:45 +01:00
51d0a6ec15 feat(workflows): Test
thubrecht pushed to main at DGNum/infrastructure 2023-12-14 16:46:03 +01:00
4de8abc45b feat(ds-fr): Update our version
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 14:43:20 +01:00
917669e4fd Modifications DGNum
thubrecht pushed to main at DGNum/infrastructure 2023-12-14 14:20:34 +01:00
d5bbf07484 feat(ds-fr): Update our version
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 14:05:57 +01:00
b7da189614 Modifications DGNum
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 13:57:42 +01:00
f306055b20 Modifications DGNum
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 13:47:22 +01:00
70e7980af7 Modifications DGNum
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 13:40:17 +01:00
3cea048af7 feat: Add analytics
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 13:30:46 +01:00
7b720f2c98 feat: Add analytics
thubrecht pushed to main at DGNum/demarches-normaliennes 2023-12-14 13:24:16 +01:00
795572c1fa feat: Add analytics
thubrecht pushed to main at DGNum/infrastructure 2023-12-13 15:32:39 +01:00
3a5e7fec01 feat(ds-fr): Update to latest version
thubrecht pushed to main at DGNum/infrastructure 2023-12-13 14:44:33 +01:00
def4393a8c feat(ds-fr): Update to latest version and enable admins group
80e0c58400 feat: Remove sources
Compare 2 commits »
thubrecht deleted branch test from DGNum/infrastructure 2023-12-13 14:44:33 +01:00
thubrecht merged pull request DGNum/infrastructure#16 2023-12-13 14:44:31 +01:00
feat: Remove sources