-
Notifications
You must be signed in to change notification settings - Fork 256
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Try to save /tmp/MSBuildTemprunner/ logs
run-deep-tests
Tells CI to run all tests
#5516
opened Jun 3, 2024 by
keyboardDrummer
Loading…
Add GoLang to the replaceable complex test case
#4856
opened Dec 8, 2023 by
keyboardDrummer
Loading…
fix: Ignore values not in a multiset when computing its hash in C#
run-deep-tests
Tells CI to run all tests
#5497
opened May 28, 2024 by
fabiomadge
Loading…
ci: Migrate off macos-11
run-deep-tests
Tells CI to run all tests
#5500
opened May 28, 2024 by
robin-aws
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.