pullrequests Search Results · language:Edge language:Python language:JavaScript language:Python language:JavaScript
Filter by
149M results
-implement setup enviroment (technical label)
MahmoudMohamedAbdelgelil125
Updates the requirements on starlette to permit the latest version. Updates starlette to 1.3.1 details summary Release
notes /summary p em Sourced from a href= https://github.com/Kludex/starlette/releases ...
dependencies
python
dependabot[bot]
ashhish09What
The /join per-route bounty figures are no longer hardcoded BND XX placeholders — admins set them from the /applications
page and they render live on the public hiring page.
- Admin bounty form ...
danialothman
minjae1025See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
pull[bot]
🎨 Palette: Dark Mode UX Polish
This PR adds a suite of micro-UX improvements to the UPSC News Digest to make it more accessible, modern, and pleasant
to read in any environment.
💡 What s New?
- 🌙 ...
kavyabarnadhya
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
See Commits and Changes for more details.
Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4)
Can you help keep this open source service alive? 💖 Please ...
⤵️ pull
Summary
Update the live mumei-agent → mumei-lean integration assertion to validate the produced Lean certificate contains at
least one lean_verified atom, then continue verifying merge_lean_cert_into_proof_cert() ...
devin-ai-integration[bot]