infrastructure/npins
DGNum Chores 0d8c406b65
All checks were successful
build configuration / build_web01 (pull_request) Successful in 47s
build configuration / build_storage01 (pull_request) Successful in 47s
build configuration / build_compute01 (pull_request) Successful in 1m18s
build configuration / build_storage01 (push) Successful in 48s
build configuration / build_web01 (push) Successful in 47s
build configuration / build_compute01 (push) Successful in 1m11s
ds-fr update / npins_update (push) Successful in 1m56s
npins update / npins_update (push) Successful in 1m13s
chore(npins): Update
2024-01-01 22:02:33 +01:00
..
default.nix init reproducibilty 2023-05-11 19:35:02 +02:00
sources.json chore(npins): Update 2024-01-01 22:02:33 +01:00