[lambda] "completeness" of lambda theory #616
docker-ci-for-pr.yml
on: pull_request
build-stdknl
54m 44s
build-expk
57m 49s
build-mosml
39m 7s
build-otknl
1h 58m