Added GitHub Actions workflow for documentation deployment.#52

lucaaamaral merged 2 commits into

magma:mainmagma/magma-documentation:mainfrom

basakankit:add-docs-deploy-workflowbasakankit/magma-documentation:add-docs-deploy-workflowCopy head branch name to clipboard