Skip to content
hlint

Only produce .smt2 files when the save flag is turned on #407

Sign in to view logs

Only produce .smt2 files when the save flag is turned on

Only produce .smt2 files when the save flag is turned on #407

Re-run triggered October 17, 2024 09:21
@facundominguezfacundominguez
#712
gergoerdi:cactus/fileless
Status Success
Total duration 32s
Artifacts –

hlint.yml

on: pull_request
hlint-3.8
21s
hlint-3.8
Fit to window
Zoom out
Zoom in