chore(npins): Update #45

Merged

thubrecht merged 1 commit from npins-update into main

2024-02-15 09:31:08 +01:00

Author	SHA1	Message	Date
DGNum Chores	788975ecf0	chore(npins): Update All checks were successful lint / check (push) Successful in 30s Details build configuration / build_web02 (push) Successful in 1m0s Details build configuration / build_compute01 (push) Successful in 1m8s Details build configuration / build_web01 (push) Successful in 1m23s Details build configuration / build_vault01 (push) Successful in 1m1s Details build configuration / build_storage01 (push) Successful in 1m5s Details build configuration / build_compute01 (pull_request) Successful in 1m3s Details build configuration / build_vault01 (pull_request) Successful in 56s Details build configuration / build_web02 (pull_request) Successful in 52s Details build configuration / build_web01 (pull_request) Successful in 1m16s Details build configuration / build_storage01 (pull_request) Successful in 1m0s Details	2024-02-14 19:16:49 +01:00