Skip to content
CI

Require Vector directly instead of through Bvector #557

Sign in to view logs

Require Vector directly instead of through Bvector

Require Vector directly instead of through Bvector #557

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.09-flambda, local)
2m 47s
build (dev, 4.09-flambda, hott)
4m 3s
build (dev, 4.09-flambda, dune)
4m 10s
11m 0s