infrastructure

History

Tom Hubrecht 3388771929 All checks were successful build configuration / build_storage01 (push) Successful in 48s Details build configuration / build_web01 (push) Successful in 1m7s Details build configuration / build_compute01 (push) Successful in 2m39s Details feat(web01): Improve redirections and make calendrier.eleves.ens.fr -> calendrier.dgnum.eu		2023-12-19 18:38:57 +01:00
..
default.nix	feat(web01): Improve redirections and make calendrier.eleves.ens.fr -> calendrier.dgnum.eu	2023-12-19 18:38:57 +01:00