Skip to content
Generate documentation

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

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… #8

Triggered via push November 29, 2023 17:32
@pierluigidelnostropierluigidelnostro
pushed 7d6047c
main
Status Success
Total duration 55s
Artifacts –

ci_ontodoc.yml

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