Skip to content

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

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
Status Success
Total duration 53s
Artifacts

ci_emmocheck.yml

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