Define simultaneous substitution for lambda/basics/cterm #440
mn200docker-ci.yml
on: push
build-stdknl
1h 7m
build-expk
1h 10m
build-mosml
36m 9s
build-otknl
1h 57m