Log level to error on CI while proving simple

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

Changes make test-prove action on CI to consider KORE_EXEC_OPTS="--log-level error" as in the current version of the Haskell backend trivial-policies.md is generating a ~100MB log message.