-
Type: Bug
-
Resolution: Fixed
-
Priority: Minor - P4
-
Affects Version/s: None
-
Component/s: Replication
-
None
-
Fully Compatible
-
ALL
-
Repl 2020-04-20, Repl 2020-05-04
I put "batchtime" in the wrong place in SERVER-45416:
batchtime is only a setting on build variants and not on individual tasks.
- is caused by
-
SERVER-45416 TLA+ specs are not continuously tested
- Closed