Skip to content

Conversation

@korenyoni
Copy link
Contributor

@korenyoni korenyoni commented Mar 6, 2023

What

  • Fix docs workflow

Why

(workflow was not working)

Notes

PR Checklist

@github-actions github-actions bot added the docs label Mar 6, 2023
@korenyoni korenyoni marked this pull request as ready for review March 6, 2023 13:23
@korenyoni korenyoni marked this pull request as draft March 6, 2023 13:23
@korenyoni korenyoni marked this pull request as ready for review March 6, 2023 13:24
@korenyoni
Copy link
Contributor Author

/test

@korenyoni korenyoni merged commit 171f729 into master Mar 6, 2023
@korenyoni korenyoni deleted the docs-workflow-fix branch March 6, 2023 13:28
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.

3 participants