Skip to content
PR Hygiene

Improve typing #810

Sign in to view logs

Improve typing

Improve typing #810

Triggered via pull request August 26, 2025 14:01
@stefanvanburenstefanvanburen
synchronize #359
svanburen/improve-typing
Status Success
Total duration 5s
Artifacts –

pr-hygiene.yaml

on: pull_request
Lint title
2s
Lint title
Fit to window
Zoom out
Zoom in