infrastructure/npins
Tom Hubrecht 0bab90256a
All checks were successful
build configuration / build_storage01 (push) Successful in 50s
build configuration / build_web01 (push) Successful in 51s
build configuration / build_compute01 (push) Successful in 1m20s
feat(eleves): Update and fix
2023-12-19 16:22:18 +01:00
..
default.nix init reproducibilty 2023-05-11 19:35:02 +02:00
sources.json feat(eleves): Update and fix 2023-12-19 16:22:18 +01:00