Skip to content
Create new pull request

Obsolete terms have URL to Github issues that are not IRI #49

Sign in to view logs

Obsolete terms have URL to Github issues that are not IRI

Obsolete terms have URL to Github issues that are not IRI #49

Triggered via issue January 22, 2024 13:54
@aleixpuigbaleixpuigb
opened #2272 198f9cd
Status Success
Total duration 18s
Artifacts –

ontobot.yml

on: issues
check
3s
check
Matrix: build
Fit to window
Zoom out
Zoom in