Skip to content
Test and lint

Glossary: Clarify which types don't participate in subtyping #1289

Sign in to view logs

Glossary: Clarify which types don't participate in subtyping

Glossary: Clarify which types don't participate in subtyping #1289

Re-run triggered January 12, 2025 18:30
@AlexWaygoodAlexWaygood
#1907
bswck:correct-gradual-forms-and-types-terms
Status Success
Total duration 15s
Artifacts –

ci.yml

on: pull_request
Lint
6s
Lint
Fit to window
Zoom out
Zoom in

Annotations

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