Skip to content
CI

Merge pull request #605 from ppedrot/conversion-no-inner-exception-api #593

Sign in to view logs

Merge pull request #605 from ppedrot/conversion-no-inner-exception-api

Merge pull request #605 from ppedrot/conversion-no-inner-exception-api #593

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.09-flambda, local)
2m 52s
build (dev, 4.09-flambda, hott)
4m 12s
build (dev, 4.09-flambda, dune)
4m 13s
11m 17s