Skip to content
CI

Merge branch 'main' of github.com:input-output-hk/ouroboros-leios #232

Sign in to view logs

Merge branch 'main' of github.com:input-output-hk/ouroboros-leios

Merge branch 'main' of github.com:input-output-hk/ouroboros-leios #232

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docusaurus
34s
Build Haskell packages with GHC 9.8 on ubuntu-22.04
1m 44s
Typecheck specification
2m 1s
publish-docs
3s
4m 22s