Skip to content
Generate documentation

Merge branch 'main' of https://github.com/emmo-repo/domain-characteri… #7

Sign in to view logs

Merge branch 'main' of https://github.com/emmo-repo/domain-characteri…

Merge branch 'main' of https://github.com/emmo-repo/domain-characteri… #7

Triggered via push November 28, 2023 11:19
@pierluigidelnostropierluigidelnostro
pushed 62f1792
main
Status Success
Total duration 52s
Artifacts –

ci_ontodoc.yml

on: push
Matrix: ontodoc
Fit to window
Zoom out
Zoom in