ci: Add initial pipeline

2023-02-15 13:30:40 +01:00
parent 3744a220f1
commit da13b88d3a
5 changed files with 23 additions and 2 deletions
@@ -1,5 +1,8 @@
 #!/bin/bash

+# shellcheck disable=SC1091
 source "prompts.sh"
+# shellcheck disable=SC1091
 source "user_feedback.sh"
+# shellcheck disable=SC1091
 source "logging.sh"