Skip to content
Lean Python Regression Tests

Suggest nested type names verbatim and filter attribute hints by memb… #12

Sign in to view logs

Suggest nested type names verbatim and filter attribute hints by memb…

Suggest nested type names verbatim and filter attribute hints by memb… #12

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lean-python-regression
4s
4s