Skip to content
Check conventions

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

Sign in to view logs

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

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

Triggered via push August 8, 2024 22:29
@jesper-friisjesper-friis
pushed b58f152
1.0.0-rc1
Status Success
Total duration 52s
Artifacts –

ci_emmocheck.yml

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