Skip to content
CI (Coq, docker, dev)

[CI] [Haskell] Increase heap size to avoid heap overflow (#1915) #589

Sign in to view logs

[CI] [Haskell] Increase heap size to avoid heap overflow (#1915)

[CI] [Haskell] Increase heap size to avoid heap overflow (#1915) #589

This job succeeded