mypy

GH-145000: Add a tool to record/check removed HTML IDs (#145001) #19682

Sign in to view logs

Triggered via push February 25, 2026 12:38

encukou

main

Status Success

Total duration 29s

Artifacts –

mypy.yml

on: push

Matrix: mypy