infrastructure

History

DGNum Chores 49ae20bf5f All checks were successful build configuration / build_vault01 (pull_request) Successful in 51s Details build configuration / build_storage01 (pull_request) Successful in 53s Details build configuration / build_web02 (pull_request) Successful in 45s Details build configuration / build_web01 (pull_request) Successful in 1m11s Details build configuration / build_compute01 (pull_request) Successful in 6m12s Details build configuration / build_web02 (push) Successful in 55s Details build configuration / build_storage01 (push) Successful in 58s Details build configuration / build_compute01 (push) Successful in 1m4s Details build configuration / build_web01 (push) Successful in 1m21s Details build configuration / build_vault01 (push) Successful in 45s Details chore(ds-fr): Update		2024-02-01 17:28:35 +00: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 17:28:35 +00:00
update.sh	feat(ds-fr): Update to bleeding-edge version	2023-11-20 17:24:12 +01:00