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 2024-02-06 13:22:14 +01:00
38083b5fce feat(wordpress): Deploy bda
thubrecht pushed to main at DGNum/infrastructure 2024-02-06 13:01:03 +01:00
6d50bde0ff feat(ds-fr): Update
thubrecht pushed to main at DGNum/infrastructure 2024-02-02 10:55:39 +01:00
6f3eb05f78 fix(static): Make deadnix happy
thubrecht pushed to main at DGNum/infrastructure 2024-02-02 10:52:00 +01:00
c9428d618b feat(workflows): Add a check on code
5e3819c9b2 feat(shell): Add pre-commit hooks and reformat the repo
Compare 2 commits »
thubrecht pushed to main at DGNum/infrastructure 2024-02-02 10:08:28 +01:00
988c44d461 chore(npins): Update
thubrecht deleted branch npins-update from DGNum/infrastructure 2024-02-02 10:08:28 +01:00
thubrecht merged pull request DGNum/infrastructure#35 2024-02-02 10:08:26 +01:00
chore(npins): Update
thubrecht pushed to npins-update at DGNum/infrastructure 2024-02-02 09:53:40 +01:00
988c44d461 chore(npins): Update
49ae20bf5f chore(ds-fr): Update
Compare 2 commits »
thubrecht merged pull request DGNum/infrastructure#38 2024-02-02 09:53:29 +01:00
chore(ds-fr): Update
thubrecht deleted branch ds-update from DGNum/infrastructure 2024-02-02 09:53:29 +01:00
thubrecht pushed to main at DGNum/infrastructure 2024-02-02 09:53:29 +01:00
49ae20bf5f chore(ds-fr): Update
thubrecht pushed to main at DGNum/infrastructure 2024-02-01 14:42:49 +01:00
51e2a8b50f chore(ds-fr): Update
thubrecht deleted branch ds-update from DGNum/infrastructure 2024-02-01 14:42:49 +01:00
thubrecht merged pull request DGNum/infrastructure#37 2024-02-01 14:42:48 +01:00
chore(ds-fr): Update
thubrecht pushed to ds-update at DGNum/infrastructure 2024-02-01 14:36:06 +01:00
51e2a8b50f chore(ds-fr): Update
929cfa7344 Revert "feat(workflows/eval): Use streaming evaluator"
baaf00e6ea feat(workflows/eval): Use streaming evaluator
1c261e5178 feat(meta.dns): Update
ce0dfe5431 chore(infra): Remove remnants of dgn-dns
Compare 6 commits »
thubrecht pushed to main at DGNum/infrastructure 2024-02-01 13:42:58 +01:00
929cfa7344 Revert "feat(workflows/eval): Use streaming evaluator"
thubrecht pushed to main at DGNum/infrastructure 2024-02-01 13:37:41 +01:00
baaf00e6ea feat(workflows/eval): Use streaming evaluator
thubrecht pushed to main at DGNum/infrastructure 2024-02-01 13:35:44 +01:00
1c261e5178 feat(meta.dns): Update
ce0dfe5431 chore(infra): Remove remnants of dgn-dns
Compare 2 commits »
thubrecht pushed to main at DGNum/infrastructure 2024-01-31 20:20:41 +01:00
76ec967fba feat(meta.dns): Add kurisu.lahfa.xyz as ns02
thubrecht pushed to main at DGNum/infrastructure 2024-01-31 20:17:12 +01:00
5d1d945346 feat(meta.dns): Add kurisu.lahfa.xyz as ns02