Add --solver-transcript
option to the booster
#926
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test.yml
on: pull_request
Stack / Unit Tests
2m 37s
Cabal / Unit Tests
1m 38s
Formatting and Style
18s
Matrix: Nix / All Tests