Closed fabiomadge closed 1 month ago
This automation creates a lot of noise on dafny-lang/dafny. Instead of always creating new issues, we create a comment, when possible.
dafny-lang/dafny
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This automation creates a lot of noise on
dafny-lang/dafny. Instead of always creating new issues, we create a comment, when possible.By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.