infrastructure

History

DGNum Chores 5fa86473cc All checks were successful build configuration / build_compute01 (pull_request) Successful in 1m14s Details build configuration / build_storage01 (pull_request) Successful in 46s Details build configuration / build_web01 (pull_request) Successful in 1m3s Details build configuration / build_storage01 (push) Successful in 50s Details build configuration / build_web01 (push) Successful in 57s Details build configuration / build_compute01 (push) Successful in 1m11s Details chore(npins): Update		2024-01-09 08:47:11 +01:00
..
default.nix	init reproducibilty	2023-05-11 19:35:02 +02:00
sources.json	chore(npins): Update	2024-01-09 08:47:11 +01:00