Pipelines · Merge branch 'rnou/redis' into 'main' (82eb26d3) · Commits · eu / ADMIRE / scord

Commit 82eb26d3 authored Nov 20, 2023 by

Ramon Nou

Update redis with information about adhocfs

Closes #153

See merge request !116

Pipeline #4211 passed with stages

in 7 minutes and 7 seconds