-
-
Notifications
You must be signed in to change notification settings - Fork 2
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
[1.2.1]: Fix deploy script and allow to clear data #18
Conversation
.github/workflows/docs.yml
Outdated
@@ -1,12 +1,8 @@ | |||
name: Docs | |||
on: [push] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
But wouldn't this overwrite the docs whenever a PR is opened? That would mean that the docs are potentially temporarily incorrect
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yeah I will fix so it only generates new docs on push to the main branch.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👍
.github/workflows/docs.yml
Outdated
@@ -1,5 +1,11 @@ | |||
name: Docs | |||
on: [push] | |||
on: | |||
pull_request: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think you want the pull_request
bit. What it says (IIRC) is to run when a pull request is opened that targets the main
branch. I think you just want the push
part.
No description provided.