infrastructure

History

Tom Hubrecht 61cff36813 All checks were successful build configuration / build_storage01 (push) Successful in 47s Details build configuration / build_web01 (push) Successful in 1m3s Details build configuration / build_compute01 (push) Successful in 9m22s Details chore(ds-fr): Update		2023-12-22 06:59:17 +01:00
..
patches	feat(ds-fr): Update our version	2023-12-14 14:20:31 +01:00
rubyEnv	feat(ds-fr): Update to latest version	2023-12-13 15:32:36 +01:00
default.nix	feat(ds-fr): Use imagemagick and make things work	2023-12-01 14:04:20 +01:00
dgnum.nix	feat(ds-fr): Update our version	2023-12-14 16:45:59 +01:00
meta.nix	chore(ds-fr): Update	2023-12-22 06:59:17 +01:00
update.sh	feat(ds-fr): Update to bleeding-edge version	2023-11-20 17:24:12 +01:00