diff options
Diffstat (limited to '.github/workflows/build.yaml')
-rw-r--r-- | .github/workflows/build.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index b47995c8..307dd8f2 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -172,6 +172,11 @@ jobs: steps: - name: Checkout KLEE source code uses: actions/checkout@v3 + with: + # Codecov may run into "Issue detecting commit SHA. Please run + # actions/checkout with fetch-depth > 1 or set to 0" when uploading. + # See also https://github.com/codecov/codecov-action/issues/190 + fetch-depth: 2 - name: Build KLEE env: ${{ matrix.env }} run: scripts/build/build.sh klee --docker --create-final-image |