Build the workshop documentation on the master branch#30

estebanzimanyi merged 1 commit into

masterMobilityDB/MobilityDB-workshop:masterfrom

fix-docs-generation-workflowMobilityDB/MobilityDB-workshop:fix-docs-generation-workflowCopy head branch name to clipboard