diff options
| -rwxr-xr-x | ci/daily.sh | 2 | ||||
| -rwxr-xr-x | ci/merge.sh | 2 | ||||
| -rwxr-xr-x | ci/verify.sh | 2 |
3 files changed, 6 insertions, 0 deletions
diff --git a/ci/daily.sh b/ci/daily.sh new file mode 100755 index 0000000..06bd986 --- /dev/null +++ b/ci/daily.sh @@ -0,0 +1,2 @@ +#!/bin/bash +exit 0 diff --git a/ci/merge.sh b/ci/merge.sh new file mode 100755 index 0000000..06bd986 --- /dev/null +++ b/ci/merge.sh @@ -0,0 +1,2 @@ +#!/bin/bash +exit 0 diff --git a/ci/verify.sh b/ci/verify.sh new file mode 100755 index 0000000..06bd986 --- /dev/null +++ b/ci/verify.sh @@ -0,0 +1,2 @@ +#!/bin/bash +exit 0 |