Skip to content
CI

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

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 #218

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docusaurus
39s
Build Haskell packages with GHC 9.8 on ubuntu-22.04
1m 57s
Typecheck specification
2m 0s
publish-docs
4s
4m 40s