Code

Fix tool filtering#118

Code

Merged

paulzierep merged 2 commits intomaingalaxyproject/galaxy_codex:mainfrom fix-tool-filteringgalaxyproject/galaxy_codex:fix-tool-filteringCopy head branch name to clipboardJun 13, 2024

+18-4

Commits

Commits on Jun 13, 2024

• fix wrong json merging

  paulzierep

  committed
  7b65bef

• allow empty or no tools_status file

  paulzierep

  committed
  15f77fd