Filter children tree by worker version

closes #810 (closed)

assigned to @mlbonhomme

marked this merge request as draft

added 8 commits

• 40549089...930e2b52 - 4 commits from branch master
• 92b20cb7 - WIP: filter children tree by worker version
• b2be2cbc - no success
• 518b4a33 - sure the filter does not work at all but at least it displays what it should
• 24503284 - (properly) reset both filters if there is nothing to display anymore (if...

Compare with previous version

added 1 commit

• 82292f74 - remove <pre>

Compare with previous version

marked this merge request as ready

requested review from @babadie

removed review request for @babadie

marked this merge request as draft

added 1 commit

• 988ce1e5 - actual proper proper filter reset

Compare with previous version

marked this merge request as ready

requested review from @babadie

added 1 commit

• bb57af3c - only display versions filter if there are more than one worker versions

Compare with previous version

resolved all threads

added 9 commits

• bb57af3c...b90f9e8d - 2 commits from branch master
• 79655d4b - WIP: filter children tree by worker version
• df5544c5 - no success
• b2e92685 - sure the filter does not work at all but at least it displays what it should
• 1634809d - (properly) reset both filters if there is nothing to display anymore (if...
• 20a9108e - remove <pre>
• 56ec90e9 - actual proper proper filter reset
• c1b06edc - only display versions filter if there are more than one worker versions

Compare with previous version

marked this merge request as draft from 79655d4b

marked this merge request as ready

enabled an automatic merge when the pipeline for c1b06edc succeeds

mentioned in commit 52bdcc04

merged