Merge pull request #1270 from gouttegd/fix-prefix-injection-in-obo · ontodev/robot@efcdf7c

Re-run triggered October 30, 2025 15:34

master

Status Success

Total duration 4m 44s

Artifacts 1

java-ci.yml

on: push

Matrix: build

Produced during runtime

Name	Size	Digest
robot.jar Expired	70.7 MB	`sha256:96f78b476f3ea5b64dc974b4d959a791f405702e640b474c97d1fa402abf42f2`