CI Workflows

Fix non-TTY handling for proof inputs #290

Sign in to view logs

Triggered via pull request March 15, 2024 23:56

sangaline

opened #92

ews-fix-tty-input-bug

Status Success

Total duration 49s

Artifacts –

ci.yaml

on: pull_request

Matrix: lint-and-test