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

Update to upstream release 0.14.0 #87

Merged
merged 1 commit into from
Aug 25, 2023
Merged

Update to upstream release 0.14.0 #87

merged 1 commit into from
Aug 25, 2023

Conversation

marrobi
Copy link
Member

@marrobi marrobi commented Aug 25, 2023

Resolves #86

What is being addressed

  • Updated tag to release 0.14.0
  • Remove non root user script from dev container and add only the assignment of user ID to match host user ID
  • Update TF linters to match upstream to prevent unwanted data type conversions

@marrobi marrobi enabled auto-merge (squash) August 25, 2023 08:59
@marrobi marrobi changed the title Release 0.14.0 Update to upstream release 0.14.0 Aug 25, 2023
@marrobi marrobi merged commit 95ca071 into main Aug 25, 2023
3 checks passed
@marrobi marrobi deleted the marrobi/issue86 branch August 25, 2023 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tanya-borisova tanya-borisova tanya-borisova approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Release 0.14.0
2 participants
@marrobi @tanya-borisova