Skip to content

add label for separating direct and indirect is-a relations #115

add label for separating direct and indirect is-a relations

add label for separating direct and indirect is-a relations #115

Triggered via push November 3, 2025 18:17
Status Success
Total duration 13s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in