Skip to content
Type completeness report

Delete old formatting kludges #2204

Sign in to view logs

Delete old formatting kludges

Delete old formatting kludges #2204

Triggered via pull request February 18, 2025 16:18
@pushfoopushfoo
opened #2575
delete-old-version-kludges
Status Success
Total duration 50s
Artifacts –

verify_types.yml

on: pull_request
Verify types
39s
Verify types
Fit to window
Zoom out
Zoom in