CI: use -gcstats & -compacts flags

EasyCrypt · May 26, 2024 · 54bc881 · 54bc881
1 parent 2d87cff
commit 54bc881
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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 }}