Details
-
Bug
-
Resolution: Fixed
-
Minor - P4
-
None
-
None
-
Fully Compatible
-
ALL
-
Repl 2020-04-20, Repl 2020-05-04
Description
I put "batchtime" in the wrong place in SERVER-45416:
batchtime is only a setting on build variants and not on individual tasks.
Attachments
Issue Links
- is caused by
-
SERVER-45416 TLA+ specs are not continuously tested
-
- Closed
-