pullrequests Search Results · language:Edge language:Python language:JavaScript language:Java language:Python language:Java
Filter by
183M results
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[bot]
PATCH := add lean/Chronos/Frontier/R1ConcreteSemanticDataInstance.lean
VERIFY := lake env lean lean/Chronos/Frontier/R1ConcreteSemanticDataInstance.lean
BOUNDARY := ¬ repository_native_non_alias_Newstein_FGL_geometry_constructs_full_R1TheoremProofInputs ...
inaciovasquez2020
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
Move the cached env-flag parser into matrix_fsdp/core/env_flags.py so the kernels and runtime packages share one cache
without a kernels - runtime import cycle, and route call sites through it. Prune the ...
findlamp
picture source media= (prefers-color-scheme: dark) srcset= https://static.trunk.io/assets/merge_test_pr_banner_dark.svg
source media= (prefers-color-scheme: light) srcset= https://static.trunk.io/assets/merge_test_pr_banner_light.svg ...
trunk-staging-io[bot]
machanna-03
x-201See 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
- move terminal run-derived items with unknown GitHub state into unverified_run_history instead of active blocked
- exclude unverified run history from summary.action_needed
- synthesize ...
pki-vesto
techservices-ops