Skip to content
CI (Coq, Arch Linux)

[CI] [Haskell] Increase heap size to avoid heap overflow #273

Sign in to view logs

[CI] [Haskell] Increase heap size to avoid heap overflow

[CI] [Haskell] Increase heap size to avoid heap overflow #273

This job succeeded