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

[1.2.1]: Fix deploy script and allow to clear data #18

Merged
merged 7 commits into from
Nov 1, 2023
Merged

Conversation

meatball133
Copy link
Member

No description provided.

@meatball133 meatball133 requested a review from a team as a code owner October 30, 2023 11:59
@meatball133 meatball133 added the x:rep/small Small amount of reputation label Oct 30, 2023
@meatball133 meatball133 added x:rep/medium Medium amount of reputation and removed x:rep/small Small amount of reputation labels Oct 30, 2023
@meatball133 meatball133 changed the title [1.2.1]: Fix deploy script [1.2.1]: Fix deploy script and allow to clear data Oct 30, 2023
@@ -1,12 +1,8 @@
name: Docs
on: [push]
Copy link
Member

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

Copy link
Member Author

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.

Copy link
Member

Choose a reason for hiding this comment

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

👍

@@ -1,5 +1,11 @@
name: Docs
on: [push]
on:
pull_request:
Copy link
Member

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.

@meatball133 meatball133 merged commit f17576b into main Nov 1, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
x:rep/medium Medium amount of reputation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants