Skip to content

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

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

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

Triggered via pull request January 1, 2024 17:26
Status Success
Total duration 14s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

require-pr-label.yml

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