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

ci: tagging #1523

Merged
merged 2 commits into from
Oct 25, 2023
Merged

ci: tagging #1523

merged 2 commits into from
Oct 25, 2023

Conversation

DerekRoberts
Copy link
Member

@DerekRoberts DerekRoberts commented Oct 25, 2023

Now that Helm requires ${{github.sha}} tags we can drop the ones for PR numbers.


Thanks for the PR!

Deployments, as required, will be available below:

Please create PRs in draft mode. Mark as ready to enable:

After merge, new images are promoted to:

@DerekRoberts DerekRoberts force-pushed the ci/tagging branch 2 times, most recently from 53fadeb to 5edca67 Compare October 25, 2023 05:57
@DerekRoberts DerekRoberts self-assigned this Oct 25, 2023
@DerekRoberts DerekRoberts added the enhancement New feature or request label Oct 25, 2023
@DerekRoberts DerekRoberts marked this pull request as ready for review October 25, 2023 06:02
@DerekRoberts DerekRoberts enabled auto-merge (squash) October 25, 2023 06:07
@DerekRoberts DerekRoberts marked this pull request as draft October 25, 2023 07:09
auto-merge was automatically disabled October 25, 2023 07:09

Pull request was converted to draft

@DerekRoberts
Copy link
Member Author

Currently blocked by Postgres 16 being too new for Flyway. Fix in progress.

#1525

#1524

@mishraomp
Copy link
Collaborator

@DerekRoberts the deploys are failing due to #1526

@DerekRoberts DerekRoberts marked this pull request as ready for review October 25, 2023 17:30
@DerekRoberts DerekRoberts merged commit 1f3e60c into main Oct 25, 2023
18 checks passed
@DerekRoberts DerekRoberts deleted the ci/tagging branch October 25, 2023 17:41
DerekRoberts added a commit that referenced this pull request Oct 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants