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

Triggered via push July 14, 2026 18:54
@jhonabreuljhonabreul
pushed 1e5186d
master
Status Cancelled
Total duration 12s
Artifacts –

lean-python-regression-tests.yml

on: push
lean-python-regression
4s
lean-python-regression
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Lean Python Regression Tests
Canceling since a higher priority waiting request for Lean Python Regression Tests-refs/heads/master exists
lean-python-regression
Canceling since a higher priority waiting request for Lean Python Regression Tests-refs/heads/master exists