xxx.Yan

Parameter parsing error Failure to correctly read required parameters from environment variables will cause this error. Check whether the project /waka-box/settings/secrets parameter name and the two token values are correct....

The part that handles the configuration object may be able to reuse the code of [flask.config](https://github.com/pallets/flask/blob/main/src/flask/config.py). The rss project provides register and loader, plugin-project import config module and then register...

hi @yagebu I noticed that the interface has used the `deserialize` function to classify the entries and perform type verification and conversion. The existing bug has been fixed. If project...

hi @mroeschke Based on change history - issues https://github.com/rapidsai/cudf/issues/8513 report bug series equal function deal with `NaNs` `cp.nan`. - pr https://github.com/rapidsai/cudf/pull/10011 close issue, and added `dtype_can_compare_equal_to_other` - pr https://github.com/rapidsai/cudf/pull/14638 make...

### Hypothesis cupy does not fully implement numpy's asarray method, at least dtype does not support `Decimal128Dtype` ### Reproduce I try to remove `cudf.core.dtypes.DecimalDtype,` in fun `dtype_can_compare_equal_to_other`, so `Decimal128Dtype` as...

feat(enhancement): command-line tool add route. #16714 [WIP] with `commander` make a tool, create route template.

> Thanks! I'll be able to take a look next week. Limited understanding of the project, only the type check part, make some review comments. Any Suggestions are Welcome.

some errors not just about typing. **loop on Optional[str] | List[str]** ``` src/lean_dojo/data_extraction/traced_data.py:897: error: Item "None" of "str | list[str] | None" has no attribute "__iter__" (not iterable) [union-attr] for...

**slice not raise error. when index with None, but should not use operator on None** ``` $ a = [1,2,3] $ a[None:] [1,2,3] ``` ``` src/lean_dojo/data_extraction/traced_data.py:235: error: Unsupported left operand...

always use ``` if is_potential_premise_lean4(node): ... if is_mutual_lean4(node): ... ``` so node input is_mutual_lean4 always subset of node input is_potential_premise_lean4: potential_premise -> CommandDeclarationNode, LemmaNode, MathlibTacticLemmaNode, LeanElabCommandCommandIrreducibleDefNode, StdTacticAliasAliasNode, StdTacticAliasAliaslrNode, subset node...