Skip to content
docker-ci

Fixes required by rename of generic_finite_graphs directory #504

Sign in to view logs

Fixes required by rename of generic_finite_graphs directory

Fixes required by rename of generic_finite_graphs directory #504

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-mosml
36m 30s
build-expk
1h 12m 38s
build-stdknl
1h 11m 10s
build-otknl
2h 0m 46s
5h 1m 4s