Added FINITE_MAXIMAL_MEASURE_INDUCTION #2045
docker-ci.yml
on: push
build-stdknl
57m 18s
build-expk
1h 4m
build-mosml
29m 13s
build-otknl
1h 59m