Skip to content
Test and lint

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

Sign in to view logs

Glossary: Clarify which types don't participate in subtyping

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

Re-run triggered February 10, 2025 18:59
@carljmcarljm
#1907
bswck:correct-gradual-forms-and-types-terms
Status Success
Total duration 18s
Artifacts –

ci.yml

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