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.

Sign up for GitHub

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

Jump to bottom

Add build website workflow #116

Merged
merged 1 commit into from
Dec 28, 2022
Merged

Add build website workflow #116

merged 1 commit into from
Dec 28, 2022

Conversation

AbdBarho
Copy link
Collaborator

Closes #112

@AbdBarho AbdBarho marked this pull request as ready for review December 28, 2022 09:15
yk
yk approved these changes Dec 28, 2022
View reviewed changes
Copy link
Collaborator

@yk yk left a comment

Choose a reason for hiding this comment

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

thank you! will not prevent bad merges, but at least we get yelled at when builds break.

@AbdBarho AbdBarho merged commit f208f65 into main Dec 28, 2022
@AbdBarho AbdBarho deleted the website-ci branch December 28, 2022 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fozziethebeat fozziethebeat fozziethebeat approved these changes

@yk yk yk approved these changes

@andreaskoepf andreaskoepf Awaiting requested review from andreaskoepf andreaskoepf is a code owner

Assignees

@AbdBarho AbdBarho

Labels
website
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Ensure npm run build finishes successfully before pull requests are ready for merging
3 participants
@AbdBarho @fozziethebeat @yk