Skip to content
Lean Python Regression Tests

Suggest nested type names verbatim and filter attribute hints by member usage #10

Sign in to view logs

Suggest nested type names verbatim and filter attribute hints by member usage

Suggest nested type names verbatim and filter attribute hints by member usage #10

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lean-python-regression
6m 20s
6m 20s