Skip to content

Add auto-merge for dev tools #4645

Add auto-merge for dev tools

Add auto-merge for dev tools #4645

Triggered via pull request October 21, 2024 11:08
Status Success
Total duration 57s
Artifacts

mypy.yaml

on: pull_request
Fit to window
Zoom out
Zoom in