Skip to content

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

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

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

Triggered via push December 18, 2023 10:02
Status Success
Total duration 43s
Artifacts

ci_emmocheck.yml

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