Linters

imp: Group the actors by their role type in the "select" lists #1689

Sign in to view logs

Triggered via pull request January 15, 2025 15:46

marien-probesys

opened #931

925/imp/group-actors-in-selects

Status Success

Total duration 1m 42s

Artifacts –

linters.yml

on: pull_request

Matrix: run