Skip to content
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.

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

Add missing nodes typing for docs #606

Merged
merged 2 commits into from
May 17, 2023
Merged

Add missing nodes typing for docs #606

merged 2 commits into from
May 17, 2023

Conversation

skjnldsv
Copy link
Contributor

@skjnldsv skjnldsv commented May 17, 2023

I will create a PR to standardise this workflow in the template repo afterwards

Signed-off-by: John Molakvoæ <skjnldsv@protonmail.com>
Signed-off-by: John Molakvoæ <skjnldsv@protonmail.com>
@skjnldsv skjnldsv requested a review from susnux May 17, 2023 06:49
@skjnldsv skjnldsv self-assigned this May 17, 2023
@skjnldsv skjnldsv added bug Something isn't working documentation Improvements or additions to documentation labels May 17, 2023

- name: Deploy
uses: peaceiris/actions-gh-pages@v3
# Only deploy on release
if: github.event.release
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@skjnldsv skjnldsv merged commit 065dbec into master May 17, 2023
8 checks passed
@delete-merged-branch delete-merged-branch bot deleted the fix/docs branch May 17, 2023 07:18
@skjnldsv skjnldsv mentioned this pull request Oct 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants