Allow deleting elements filtered by worker_run from the frontend

src/store/navigation.js

@@ -107,6 +107,7 @@ export const getters = {
     'type',
     'folder',
     'worker_version',
+    'worker_run',
     'page',
     /*
      * Recursive and top_level are not supported by deletion APIs, but all deletions are always recursive