fix: raise error for integer zero division #7624

Sign in to view logs

Triggered via pull request January 24, 2024 23:22

orlp

opened #13971

orlp:zero-div

Status Success

Total duration 2m 16s

Artifacts –

lint-python.yml

on: pull_request

Matrix: mypy