离婚诉讼不属于牵连之诉，而是属于形成之诉。下面我将为您详细解释这一结论：

1. 形成之诉的定义：

   • 形成之诉，是指原告通过法院判决设定、变更或消灭其与被告之间一定法律关系的请求之诉。

2. 离婚诉讼的性质：

   • 在离婚诉讼中，原告向法院提起离婚请求，目的是使婚姻关系归于消灭。
   • 法院经审理后作出的离婚判决，直接导致婚姻关系这一法律关系的变更，符合形成之诉的特征。

3. 离婚诉讼与牵连之诉的区别：

   • 牵连之诉通常指的是两个或两个以上的诉讼因某种法律上的联系而合并审理的情况。
   • 离婚诉讼则是单一的法律关系变更之诉，不涉及其他诉讼的合并审理，因此不属于牵连之诉。

4. 法律依据：

   • 《中华人民共和国民法典》第一千零七十九条规定了夫妻一方要求离婚的条件和程序，明确了离婚诉讼是通过法院判决来变更婚姻关系的法律程序。

综上所述，离婚诉讼是一种形成之诉，旨在通过司法裁判改变现存的婚姻法律关系状态。如果您在离婚诉讼方面有任何疑问或需要进一步的法律帮助，请随时向我咨询。