infrastructure

History

DGNum Chores 77b8947811 All checks were successful build configuration / build_storage01 (pull_request) Successful in 47s Details build configuration / build_web01 (pull_request) Successful in 56s Details build configuration / build_compute01 (pull_request) Successful in 1m10s Details build configuration / build_storage01 (push) Successful in 47s Details build configuration / build_web01 (push) Successful in 59s Details build configuration / build_compute01 (push) Successful in 1m11s Details chore(ds-fr): Update		2024-01-09 08:34:43 +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 dgnum patch	2024-01-07 20:16:57 +01:00
meta.nix	chore(ds-fr): Update	2024-01-09 08:34:43 +01:00
update.sh	feat(ds-fr): Update to bleeding-edge version	2023-11-20 17:24:12 +01:00