Lint

Merge pull request #2087 from George-Ogden/mypy #2487

Sign in to view logs

Triggered via push November 30, 2025 07:25

EliahKagan

main

Status Success

Total duration 19s

Artifacts –

lint.yml

on: push