-
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
ci: Align mostly on macos-11
run-deep-tests
Tells CI to run all tests
#5531
by robin-aws
was closed 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…
Report configured instead of actual runtime after a timeout.
#5392
by keyboardDrummer
was closed May 3, 2024
Loading…
Simplify staticDiagnostics field in preparation for phase addition
#5240
by keyboardDrummer
was closed Mar 22, 2024
•
Draft
Compute prefix lemmas earlier in the resolution pipeline
#5098
by RustanLeino
was closed Mar 27, 2024
•
Draft
Test: Compiled variable names without integer prefixes
#5022
by MikaelMayer
was closed Feb 16, 2024
•
Draft
Add validators for file argument, to prevent them being interpreted a…
#4914
by keyboardDrummer
was closed Mar 12, 2024
•
Draft
chore(deps): bump actions/download-artifact from 3 to 4
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#4900
by dependabot
bot
was closed Jan 21, 2024
Loading…
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-05-26.