Skip to content
Validate Logic Profile

Merge pull request #15 from jonathanvajda/dev #24

Sign in to view logs

Merge pull request #15 from jonathanvajda/dev

Merge pull request #15 from jonathanvajda/dev #24

Triggered via push January 19, 2025 04:45
@jonathanvajdajonathanvajda
pushed 0115505
main
Status Success
Total duration 24s
Artifacts 2

robot-reason.yml

on: push
ontology-validate-dl
14s
reason-ontology
15s
ontology-validate-full
0s

Annotations

2 warnings
ontology-validate-dl
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
reason-ontology
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
dl-validation-results
233 Bytes
sha256:fdc7f4b021536f94a4ea3ff3a041c8a21a23f69b4c47d99e331606e65ea9e5a3
inferred-ontology
18.5 KB
sha256:fb0d3939225caeaee22ddce83e9d1ae1b7cc6877738f2a0ce71c66dbe474cda6