Skip to content
Back to pull request #547

🌱 Remove prettyUnsatMessage workaround #426

Sign in to view logs

🌱 Remove prettyUnsatMessage workaround

🌱 Remove prettyUnsatMessage workaround #426

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

tilt.yaml

on: pull_request
tilt
4m 25s
tilt
Fit to window
Zoom out
Zoom in