Skip to content

Revert "Add documentation custom deployment CI to gh-pages branch"#974

Merged
JoanFM merged 1 commit intogh-pagesfrom
revert-973-gh-pages-add-custom-deployment
Jan 3, 2023
Merged

Revert "Add documentation custom deployment CI to gh-pages branch"#974
JoanFM merged 1 commit intogh-pagesfrom
revert-973-gh-pages-add-custom-deployment

Conversation

@alaeddine-13
Copy link
Copy Markdown
Member

Reverts #973

@github-actions github-actions bot added the size/s label Jan 3, 2023
@JoanFM JoanFM merged commit bb19db4 into gh-pages Jan 3, 2023
@JoanFM JoanFM deleted the revert-973-gh-pages-add-custom-deployment branch January 3, 2023 12:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants