Skip to content

Merge branch '1.0.0' of github.com:emmo-repo/EMMO into 1.0.0 #1430

Merge branch '1.0.0' of github.com:emmo-repo/EMMO into 1.0.0

Merge branch '1.0.0' of github.com:emmo-repo/EMMO into 1.0.0 #1430

Triggered via push February 6, 2025 13:50
Status Success
Total duration 1m 7s
Artifacts

ci_emmocheck.yml

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