Skip to content

build(deps-dev): bump mypy from 1.7.1 to 1.8.0 in /Tools #16

build(deps-dev): bump mypy from 1.7.1 to 1.8.0 in /Tools

build(deps-dev): bump mypy from 1.7.1 to 1.8.0 in /Tools #16

Triggered via pull request January 1, 2024 16:36
Status Success
Total duration 45s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in