New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: use github pages for deployment #828

Merged

ronaldtse merged 1 commit into main from rt-update-deploy-flow

Oct 15, 2024

Contributor

ronaldtse commented Oct 15, 2024

Metanorma PR checklist

Breaking changes (list related PRs)
Documentation update required (create task for this)
External dependency introduced (documentation update need)
Gem with native library introduced


          feat: use github pages for deployment

2333bdc

ronaldtse merged commit 1c95736 into main

7 checks passed

ronaldtse deleted the rt-update-deploy-flow branch

October 15, 2024 10:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet