Skip to content
Check conventions

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.7)
1s
1s