filter processes by name or uuid (!1159) · Merge requests · Arkindex / Frontend · GitLab

Snippets Groups Projects

Merged ml bonhomme requested to merge filter-processes-name into master 3 years ago

closes #881 (closed)

requires https://gitlab.com/arkindex/backend/-/merge_requests/1584

Edited 3 years ago by ml bonhomme

Activity

ml bonhomme assigned to @mlbonhomme 3 years ago

assigned to @mlbonhomme
ml bonhomme marked this merge request as draft 3 years ago

marked this merge request as draft
ml bonhomme added 6 commits 3 years ago
added 6 commits

432bf2bd...c46ca4cc - 4 commits from branch master

3f769f4f - filter processes by name or uuid

a1827287 - the same but prettier

Compare with previous version
ml bonhomme marked this merge request as ready 3 years ago

marked this merge request as ready
ml bonhomme requested review from @erwanrouchet 3 years ago

requested review from @erwanrouchet
Erwan Rouchet approved this merge request 3 years ago

approved this merge request
Erwan Rouchet mentioned in commit d4efed87 3 years ago

mentioned in commit d4efed87
Erwan Rouchet merged 3 years ago

merged

Please register or sign in to reply