Skip to content

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

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
Status Success
Total duration 1m 3s
Artifacts

ci_emmocheck.yml

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