-
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
ci: Migrate off macos-11
run-deep-tests
Tells CI to run all tests
#5500
opened May 28, 2024 by
robin-aws
Loading…
Try to save /tmp/MSBuildTemprunner/ logs
run-deep-tests
Tells CI to run all tests
#5516
opened Jun 3, 2024 by
keyboardDrummer
Loading…
Use a separate dotnet process for compiling C# programs
run-deep-tests
Tells CI to run all tests
#5517
opened Jun 3, 2024 by
keyboardDrummer
Loading…
Macos13and updated boogie
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5600
opened Jul 4, 2024 by
keyboardDrummer
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.