diff options
author | Oran Agra <oran@redislabs.com> | 2020-09-23 11:30:24 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-23 11:30:24 +0300 |
commit | a735bf5c2a8a3d3d18c3a7e9cc728768c2086e89 (patch) | |
tree | 8742511d5f89a106b53a541e2943abf890de5a1c /.github | |
parent | c3edaa79413bdf908abb56f088217c01f347ecff (diff) | |
download | redis-a735bf5c2a8a3d3d18c3a7e9cc728768c2086e89.tar.gz |
fix recently broken TLS build error, and add coverage for CI (#7833)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d28d331db..68593717f 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,8 @@ jobs: steps: - uses: actions/checkout@v2 - name: make - run: make + # build with TLS just for compilatoin coverage + run: make BUILD_TLS=yes - name: test run: | sudo apt-get install tcl8.5 |