Skip to content
Back to pull request #547

🌱 Remove prettyUnsatMessage workaround #869

Sign in to view logs

🌱 Remove prettyUnsatMessage workaround

🌱 Remove prettyUnsatMessage workaround #869

Triggered via pull request November 17, 2023 14:14
@m1kolam1kola
synchronize #547
m1kola:remove_prettyUnsatMessage
Status Success
Total duration 1m 15s
Artifacts –

sanity.yaml

on: pull_request
verify
21s
verify
lint
1m 5s
lint
Fit to window
Zoom out
Zoom in