Skip to content

fix(owlgen): warn on single-child covering axiom equivalence #65

fix(owlgen): warn on single-child covering axiom equivalence

fix(owlgen): warn on single-child covering axiom equivalence #65

Triggered via pull request April 2, 2026 15:24
Status Skipped
Total duration 2s
Artifacts

docker-build.yaml

on: pull_request
Build and (conditionally) Push Docker Image
0s
Build and (conditionally) Push Docker Image
Fit to window
Zoom out
Zoom in