Skip to content

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

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

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

Triggered via pull request December 1, 2023 19:08
Status Success
Total duration 10s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE / unresolved review
2s
DO-NOT-MERGE / unresolved review
Fit to window
Zoom out
Zoom in