From 758b0392580e754181c96d31dc87c66dede11731 Mon Sep 17 00:00:00 2001
From: Martin Pulec <martin.pulec@cesnet.cz>
Date: Thu, 4 Jul 2024 10:46:29 +0200
Subject: [PATCH] ddebug coverity cy

---
 .github/workflows/coverity-scan.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
index e3b6dcadb..c8009e56d 100644
--- a/.github/workflows/coverity-scan.yml
+++ b/.github/workflows/coverity-scan.yml
@@ -32,7 +32,11 @@ jobs:
     - name: Download Coverity build tool
       if: steps.cache-coverity-tool.outputs.cache-hit != 'true'
       run: |
-        wget --no-verbose https://scan.coverity.com/download/linux64 --post-data "token=$coverity_token&project=UltraGrid" -O ~/coverity_tool.tgz
+        cat /proc/swaps
+        zramctl
+        grep -r . /sys/kernel/debug/zswap
+        exit 1
+        wget --no-verbose https://scan.coverity.com/download/linux64 --post-data "token=$coverity_token&project=UltraGrid" -O ~/coverity_tool.tg
     - name: Extract Coverity build tool
       if: ${{ env.coverity_token }}
       run: |