lint

rename: drop_columns -> drop, rename_columns -> rename #498

Sign in to view logs

Triggered via pull request December 15, 2023 16:44

opened #340

MarcoGorelli:drop-unnecessary-columns

Status Success

Total duration 24s

Artifacts –

mypy.yml

on: pull_request

Matrix: lint