Skip to content
docker-ci

[lambda] Basic properties of subtree_equiv; fix some typos in comments #684

Sign in to view logs

[lambda] Basic properties of subtree_equiv; fix some typos in comments

[lambda] Basic properties of subtree_equiv; fix some typos in comments #684

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-mosml
41m 50s
build-otknl
2h 13m 20s
build-expk
58m 47s
build-stdknl
56m 10s
4h 50m 7s