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

Deploy v4 to prod #784

Merged
merged 1 commit into from
Jul 17, 2023
Merged

Deploy v4 to prod #784

merged 1 commit into from
Jul 17, 2023

Conversation

devinmatte
Copy link
Member

Motivation

Deploy v4 to Prod 🎉

Changes

  • Changes CI to deploy to prod
  • Will deploy to prod on merge!

Testing Instructions

Hit Merge!

@devinmatte devinmatte added the v4 label Jul 17, 2023
@devinmatte devinmatte added this to the Dashboard V4 milestone Jul 17, 2023
@github-actions github-actions bot added the ci/cd Affects or Updates CI/CD label Jul 17, 2023
@PatrickCleary
Copy link
Member

LGTM

Copy link
Member

@nathan-weinberg nathan-weinberg left a comment

Choose a reason for hiding this comment

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

my deep knowledge of all this work empowers me to say yeah go for it

@PatrickCleary PatrickCleary merged commit 5d05a3c into dashboard-v4 Jul 17, 2023
5 checks passed
@PatrickCleary PatrickCleary deleted the v4/deploy-to-prod branch July 17, 2023 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci/cd Affects or Updates CI/CD
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants