Skip to content
Test and lint

Glossary: Clarify which types don't participate in subtyping (#1907) #1309

Sign in to view logs

Glossary: Clarify which types don't participate in subtyping (#1907)

Glossary: Clarify which types don't participate in subtyping (#1907) #1309

Triggered via push February 10, 2025 21:18
@carljmcarljm
pushed 7da7f02
main
Status Success
Total duration 19s
Artifacts –

ci.yml

on: push
Lint
10s
Lint
Fit to window
Zoom out
Zoom in