From 54bc881fb65fbd462b32814d734096df557c1fcf Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Sun, 26 May 2024 14:59:37 +0200
Subject: [PATCH] CI: use -gcstats & -compacts flags

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8730238b9d..b93be0325b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -148,6 +148,9 @@ jobs:
       run: |
         opam exec -- easycrypt runtest  \
           -report report.log            \
+          -raw-args -gcstats            \
+          -raw-args -compact            \
+          -raw-args 20                  \
           ${{ matrix.target.options  }} \
           ${{ matrix.target.config   }} \
           ${{ matrix.target.scenario }}