Skip to content

Conversation

jorge-campo
Copy link
Contributor

Add CI script for GitHub Pages and Material for MkDocs.

Add CI script for GitHub Pages and Material for MkDocs.
@jorge-campo jorge-campo merged commit 904d645 into master Mar 24, 2022
@jorge-campo jorge-campo deleted the jorge-campo-patch-1 branch March 24, 2022 09:06
@jorge-campo jorge-campo self-assigned this Mar 24, 2022
@jorge-campo jorge-campo added the P:platform Status Help platform tasks label Aug 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
P:platform Status Help platform tasks
Projects
Status: Published/Done
Development

Successfully merging this pull request may close these issues.

1 participant