Refresh the workers list when a new worker is created + update worker types in store if required
Merged
Refresh the workers list when a new worker is created + update worker types in store if required
new-worker-refresh
into
master
All threads resolved!
All threads resolved!
closes #1416 (closed)
Merge request reports
Activity
changed milestone to %Arkindex 1.6.1
requested review from @erouchet
assigned to @mlbonhomme
- Resolved by ml bonhomme
- Resolved by ml bonhomme
- Resolved by ml bonhomme
added 4 commits
-
bec2d15d...8ac5bc0a - 2 commits from branch
master
- 2671874b - Refresh the workers list when a new worker is created + update worker types in store if required
- d9c1d4fc - apply review
-
bec2d15d...8ac5bc0a - 2 commits from branch
added 4 commits
-
1ec8ae73...83d977a3 - 2 commits from branch
master
- 6851af83 - Refresh the workers list when a new worker is created + update worker types in store if required
- 2659c1f9 - apply review
-
1ec8ae73...83d977a3 - 2 commits from branch
enabled an automatic merge when the pipeline for 2659c1f9 succeeds
Please register or sign in to reply