Add --solver-transcript
option to the booster (#228)
#927
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test.yml
on: push
Stack / Unit Tests
2m 21s
Cabal / Unit Tests
2m 11s
Formatting and Style
15s
Matrix: Nix / All Tests