Skip to content

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

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

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

Triggered via pull request January 1, 2024 21:28
Status Success
Total duration 12s
Artifacts

require-pr-label.yml

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