Skip to content
Type completeness report

Fix GitHub stars on the home page, our pyglet intersphinx config, and small issues on resources #2115

Sign in to view logs

Fix GitHub stars on the home page, our pyglet intersphinx config, and small issues on resources

Fix GitHub stars on the home page, our pyglet intersphinx config, and small issues on resources #2115

Triggered via pull request January 27, 2025 10:06
@pushfoopushfoo
opened #2524
pushfoo:fix-rough-edges
Status Success
Total duration 49s
Artifacts –

verify_types.yml

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

Annotations

1 warning
Verify types
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636