Skip to content

pullrequests Search Results · language:Dune language:Python language:Java language:Java language:HTML language:Java language:CSS

Filter by

121M results  (2 s)

121M results

Summary - Assumptions - Better option considered - Option: - Why chosen / not chosen: Verification evidence - [ ] ✅ command - [ ] ✅ command Risks / limitations - Next best step ...

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

Pull Request Before submitting a pull request, please read CONTRIBUTING.md. For spec changes: - [ ] Pull-requests must address an existing issue - [ ] Update relevant documentation. By contributing ...

Small polish to the EMPO² post (content/posts/empo2/index.md): - Remove the oversized H1 subtitle (the front-matter title already covers it) - Point the Paper link to the arXiv abstract - Move the ...