infrastructure

History

Tom Hubrecht d307727947 All checks were successful build configuration / build_compute01 (push) Successful in 56s Details build configuration / build_storage01 (push) Successful in 1m3s Details build configuration / build_vault01 (push) Successful in 45s Details build configuration / build_web01 (push) Successful in 1m6s Details build configuration / build_web02 (push) Successful in 46s Details lint / check (push) Successful in 21s Details npins update / npins_update (push) Successful in 1m19s Details fix(workflows/ds-fr): Format the new files, as to not open spurious PRs		2024-02-07 18:47:45 +01:00
..
patches	feat(ds-fr): Update our version	2023-12-14 14:20:31 +01:00
rubyEnv	feat(ds-fr): Update	2024-02-06 13:00:57 +01:00
default.nix	feat(shell): Add pre-commit hooks and reformat the repo	2024-02-02 10:51:31 +01:00
dgnum.nix	feat(shell): Add pre-commit hooks and reformat the repo	2024-02-02 10:51:31 +01:00
meta.nix	feat(ds-fr): Update	2024-02-06 13:00:57 +01:00
update.sh	fix(workflows/ds-fr): Format the new files, as to not open spurious PRs	2024-02-07 18:47:45 +01:00