scripts

update_ci_and_friends

check / check (push) Successful in 5s Details

#11 door n was samengevoegd 2024-02-03 22:29:50 +01:00

check / check (push) Successful in 4s Details

#10 door n was samengevoegd 2023-11-18 22:49:29 +01:00

add license

check / check (push) Successful in 5s Details

#9 door n was samengevoegd 2023-11-18 22:39:38 +01:00

check / check (push) Successful in 5s Details

#8 door n was samengevoegd 2023-10-19 18:09:04 +02:00

shellcheck manual fixes (#4)

#7 door n was samengevoegd 2023-10-19 18:01:32 +02:00

shellcheck monitoring scripts

#6 door n was gesloten 2023-10-19 17:59:44 +02:00

shellcheck fixes (#2)

#3 door n was samengevoegd 2023-08-10 21:51:12 +02:00

Labels Mijlpalen