-
Notifications
You must be signed in to change notification settings - Fork 13
Pull requests: smithy-lang/smithy-dafny
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps-dev): bump black from 24.3.0 to 26.3.1 in /codegen/smithy-dafny-codegen-modules/smithy-python/python-packages/smithy-python
dependencies
Pull requests that update a dependency file
python
Pull requests that update Python code
#829
opened Mar 12, 2026 by
dependabot
Bot
Loading…
Bump AWSSDK.Core from 4.0.0 to 4.0.3.3
dependencies
Pull requests that update a dependency file
.NET
#828
opened Feb 27, 2026 by
dependabot
Bot
Loading…
feat(rust): Remove unnecessary Mutex overhead for resource references
#823
opened Jan 8, 2026 by
LucaButBoring
Loading…
[Python] Fix #816: Handle Dafny 4.11's escaping of reserved names
#817
opened Sep 14, 2025 by
ssomayyajula
•
Draft
fix(java): empty nullable lists convert to optional empty lists
#794
opened Mar 10, 2025 by
seebees
Contributor
Loading…
chore(.NET): collection of errors ListAsString
#766
opened Jan 21, 2025 by
josecorella
Contributor
•
Draft
ProTip!
Adding no:label will show everything without a label.