Pull requests: dafny-lang/dafny
Pull requests list
Add script to run Boogie with the args Dafny uses
run-deep-tests
Tells CI to run all tests
#4492
opened Aug 30, 2023 by
atomb
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.