diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-11 19:58:01 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2025-06-11 19:58:01 +0200 |
| commit | 3965b2e4b4dc5c30ccc081012442659ce9e60189 (patch) | |
| tree | 942196ff6237466d80e166316f7df5be0712e427 /.github | |
| parent | 05cba0aca5beb7e64cc1462d25fa948b6b2b7924 (diff) | |
kcov --version
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/cover.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/cover.yml b/.github/workflows/cover.yml index e456df3f2..985d6d1da 100644 --- a/.github/workflows/cover.yml +++ b/.github/workflows/cover.yml @@ -28,7 +28,7 @@ jobs: sudo make sudo make install cd ../.. - kcov + kcov --version - name: Build Odin run: ./build_odin.sh release |