Improve dafny packaging #300009
Merged
Improve dafny packaging #300009
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Member
layus
commented
Mar 29, 2024
layus
commented
- dafny: add basic test for auto-updates
- dafny: move to pkgs/by-name
ofborg
bot
added
10.rebuild-darwin: 0
wegank
added
the
2.status: merge conflict
|
@layus can you please rebase your PR? |
layus
force-pushed
the
dafny-tests
branch
3 times, most recently
from
8a1d8ec to
449f48f
Compare
|
@PetarKirov Thanks for reviewing this one. I have updated it and would appreciate if you could review it again and eventually merge it. |
corngood
approved these changes
Dec 2, 2024
corngood
removed
the
2.status: merge conflict
|
|
This PR is missing the boilerplate in the top comment, but I ran the tests locally and they passed. |
wegank
added
the
12.approvals: 1
|
Successfully created backport PR for |
1 task
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.