scripts

update_ci_and_friends

check / check (push) Successful in 5s Details

#11 von n wurde 2024-02-03 22:29:50 +01:00 zusammengeführt

check / check (push) Successful in 4s Details

#10 von n wurde 2023-11-18 22:49:29 +01:00 zusammengeführt

add license

check / check (push) Successful in 5s Details

#9 von n wurde 2023-11-18 22:39:38 +01:00 zusammengeführt

check / check (push) Successful in 5s Details

#8 von n wurde 2023-10-19 18:09:04 +02:00 zusammengeführt

shellcheck manual fixes (#4)

#7 von n wurde 2023-10-19 18:01:32 +02:00 zusammengeführt

shellcheck monitoring scripts

#6 von n 2023-10-19 17:59:44 +02:00 geschlossen

shellcheck fixes (#2)

#3 von n wurde 2023-08-10 21:51:12 +02:00 zusammengeführt

Label Meilensteine