Skip to content

chore: backport of Wrench from release/1.12.0 branch into develop - #3172

Merged
michalChrobot merged 11 commits into
developfrom
wrench/backport-from-release.1.12.0
Dec 15, 2024
Merged

chore: backport of Wrench from release/1.12.0 branch into develop#3172
michalChrobot merged 11 commits into
developfrom
wrench/backport-from-release.1.12.0

Extended timeout for validation jobs on editors lower than 6000 to 5h…

73c18ad
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs