-
Notifications
You must be signed in to change notification settings - Fork 254
Pull requests: dafny-lang/dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Attempt to stabilize ConcurrentCompilationDoesNotBreakCaching test
#5571
opened Jun 25, 2024 by
keyboardDrummer
Loading…
Prevent LSP server from crashing on code actions
#5543
by keyboardDrummer
was merged Jun 7, 2024
Loading…
Use Macos13 instead of 14
run-deep-tests
Tells CI to run all tests
#5535
by keyboardDrummer
was merged Jun 6, 2024
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…
Try to save /tmp/MSBuildTemprunner/ logs
run-deep-tests
Tells CI to run all tests
#5516
opened Jun 3, 2024 by
keyboardDrummer
Loading…
Add timeout support to tests of TestGeneration.Test
#5512
by keyboardDrummer
was merged Jun 6, 2024
Loading…
Do not flatten matches for C#
run-integration-tests
Forces running the CI for integration tests even if the deep tests fail
#5509
by keyboardDrummer
was closed Jun 5, 2024
Loading…
Include stacktrace in parser internal error message
#5508
by keyboardDrummer
was merged May 30, 2024
Loading…
Revert "ci: Use macos-11 in all CI (#5493)"
run-deep-tests
Tells CI to run all tests
#5503
by keyboardDrummer
was merged May 29, 2024
Loading…
Revert "fix: Ignore values not in a multiset when computing its hash …
run-deep-tests
Tells CI to run all tests
#5492
by keyboardDrummer
was merged May 27, 2024
Loading…
No longer show generated symbols as workspace symbols
#5484
by keyboardDrummer
was merged May 24, 2024
Loading…
Improve code navigation for unreferenced declaration
#5483
by keyboardDrummer
was merged May 31, 2024
Loading…
Improve stability of RedundantAssumptionsGetWarnings
#5457
by keyboardDrummer
was merged May 23, 2024
Loading…
Attempt to fix the stability of DocumentAddedToExistingProjectDoesNotCrash
#5456
by keyboardDrummer
was merged May 17, 2024
Loading…
Do not let 'null' children slip into the AST
#5446
by keyboardDrummer
was merged May 30, 2024
Loading…
Previous Next
ProTip!
Updated in the last three days: updated:>2024-06-23.