Skip to content
Update GitHub Pages

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 42s
1m 42s