Add 'cong' as alias for 'defncong' for thm attributes #747
docker-ci.yml
on: push
build-stdknl
55m 57s
build-expk
57m 52s
build-mosml
39m 57s
build-otknl
2h 2m