infrastructure

History

DGNum Chores 51e2a8b50f All checks were successful build configuration / build_vault01 (pull_request) Successful in 54s Details build configuration / build_web02 (pull_request) Successful in 53s Details build configuration / build_storage01 (pull_request) Successful in 56s Details build configuration / build_web01 (pull_request) Successful in 1m14s Details build configuration / build_compute01 (pull_request) Successful in 6m17s Details build configuration / build_vault01 (push) Successful in 53s Details build configuration / build_web02 (push) Successful in 52s Details build configuration / build_storage01 (push) Successful in 55s Details build configuration / build_compute01 (push) Successful in 59s Details build configuration / build_web01 (push) Successful in 1m14s Details chore(ds-fr): Update		2024-02-01 14:36:04 +01:00
..
patches	feat(ds-fr): Update our version	2023-12-14 14:20:31 +01:00
rubyEnv	chore(ds-fr): Update	2024-02-01 14:36:04 +01:00
default.nix	feat(ds-fr): Use imagemagick and make things work	2023-12-01 14:04:20 +01:00
dgnum.nix	chore(ds-fr): Update	2024-01-29 21:53:51 +01:00
meta.nix	chore(ds-fr): Update	2024-02-01 14:36:04 +01:00
update.sh	feat(ds-fr): Update to bleeding-edge version	2023-11-20 17:24:12 +01:00