1
53%
develop: 53%

Ran 19 Jul 2020 03:48PM UTC

Files 523

Run time 25s

Badge

Committed 19 Jul 2020 03:43PM UTC coverage: 53.558% (+0.2%) from 53.316%

Build Type

push

travis-ci

Committed by

Commit Message

Generate maps with options

Add UI to select options when creating a game with a generated map.
Fixes #1781

Run Details

9017 of 16836 relevant lines covered (53.56%)

0.54 hits per line