Skip to content

Pull requests: VerinFast/verinfast

New pull request New
10 Open 395 Closed
10 Open 395 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update boto3 requirement from ~=1.34.119 to ~=1.34.123 dependencies Pull requests that update a dependency file
#421 opened Jun 11, 2024 by dependabot bot Loading…
Update azure-identity requirement from ~=1.16.0 to ~=1.16.1 dependencies Pull requests that update a dependency file
#420 opened Jun 11, 2024 by dependabot bot Loading…
Update pyproject.toml
#419 opened Jun 10, 2024 by aylusltd Loading…
2 tasks
1
Patch repo name wip
#405 opened May 30, 2024 by SeanTConrad Loading…
2 tasks
12
two birds four lines.
#402 opened May 29, 2024 by aylusltd Loading…
2 tasks
5
Add branch
#391 opened May 23, 2024 by chrisperez626 Loading…
2 tasks
6
easy peasy
#387 opened May 21, 2024 by aylusltd Loading…
1 of 2 tasks
6
Sos 394 make savings from aws a negative cost
#383 opened May 17, 2024 by chrisperez626 Loading…
1 of 2 tasks
9
OSS support wip
#370 opened May 8, 2024 by SeanTConrad Loading…
2 tasks done
2
for Andrew
#322 opened Mar 20, 2024 by aylusltd Loading…
1 of 2 tasks
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.