This repository was archived by the owner on Apr 1, 2026. It is now read-only.

lint

chore: Add mypy github action #7356

Sign in to view logs

Triggered via pull request March 12, 2025 17:32

synchronize #1460

github_more_action

Status Success

Total duration 46s

Artifacts –

lint.yml

on: pull_request