Skip to content
Update GitHub Pages

Merge branch '1.0.0-rc1' of https://github.com/emmo-repo/EMMO into 1.… #35

Sign in to view logs

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

Merge branch '1.0.0-rc1' of https://github.com/emmo-repo/EMMO into 1.… #35

Triggered via push April 9, 2024 08:06
@emanueleghediniemanueleghedini
pushed d712dd5
1.0.0-rc1
Status Failure
Total duration 2m 50s
Artifacts –

cd_update_pages.yml

on: push
build
2m 41s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.