add lowercase rewrite tactics #433
docker-ci.yml
on: push
build-stdknl
1h 6m
build-expk
1h 7m
build-mosml
36m 25s
build-otknl
1h 52m