Back to pull request #547

🌱 Remove `prettyUnsatMessage` workaround #1381

Sign in to view logs

Triggered via pull request November 17, 2023 14:14

m1kola

synchronize #547

m1kola:remove_prettyUnsatMessage

Status Success

Total duration 57s

Artifacts –

unit-test.yaml

on: pull_request

unit-test-basic