chore(npins): Update #72

Merged

thubrecht merged 1 commit from npins-update into main

2024-03-25 13:08:30 +01:00

Author	SHA1	Message	Date
DGNum Chores	a3b0dfa0b6	chore(npins): Update All checks were successful build configuration / build_web02 (pull_request) Successful in 1m4s Details build configuration / build_vault01 (pull_request) Successful in 1m4s Details build configuration / build_storage01 (pull_request) Successful in 1m8s Details build configuration / build_rescue01 (pull_request) Successful in 51s Details build configuration / build_compute01 (pull_request) Successful in 1m24s Details build configuration / build_web01 (pull_request) Successful in 1m35s Details build configuration / build_web02 (push) Successful in 1m1s Details build configuration / build_vault01 (push) Successful in 1m2s Details build configuration / build_storage01 (push) Successful in 1m5s Details build configuration / build_compute01 (push) Successful in 1m11s Details lint / check (push) Successful in 25s Details build configuration / build_web01 (push) Successful in 1m28s Details build configuration / build_rescue01 (push) Successful in 50s Details	2024-03-25 13:05:46 +01:00