diff options
author | Andrew Gallant <jamslam@gmail.com> | 2020-02-18 18:15:02 -0500 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2020-02-20 16:07:51 -0500 |
commit | 0373f6ddb0ed8a2adba1574e72ff7fc0e24a6da7 (patch) | |
tree | c87a0cfea55a2b2f3f1d2391dca03808f232e7e6 /ci | |
parent | b44554c803dffe50af354c0eb960fa2a0fc79cec (diff) |
ci: soft-disable Travis and AppVeyor
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/script.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/script.sh b/ci/script.sh index 523731d7..af90582e 100755 --- a/ci/script.sh +++ b/ci/script.sh @@ -1,5 +1,7 @@ #!/bin/bash +exit 0 + # build, test and generate docs in this phase set -ex |