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

fix: release pipeline #1053

Merged
merged 3 commits into from
Jan 17, 2023
Merged

fix: release pipeline #1053

merged 3 commits into from
Jan 17, 2023

Conversation

alnr
Copy link
Collaborator

@alnr alnr commented Jan 17, 2023

I manually added the missing schema references for v0.40.0 and v0.40.1. The next release should go through completely 🤞

@alnr alnr self-assigned this Jan 17, 2023
@alnr alnr requested a review from aeneasr as a code owner January 17, 2023 16:31
]
},
{
"description": "This is the fallback to the latest version (the first one in this schema) in case no version is specified.",
Copy link
Collaborator Author

@alnr alnr Jan 17, 2023

Choose a reason for hiding this comment

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

Took me a while to figure out, but this description field is illegal.

@codecov
Copy link

codecov bot commented Jan 17, 2023

Codecov Report

Merging #1053 (d38594a) into master (2b13ac1) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1053   +/-   ##
=======================================
  Coverage   77.74%   77.74%           
=======================================
  Files          83       83           
  Lines        3841     3841           
=======================================
  Hits         2986     2986           
  Misses        578      578           
  Partials      277      277           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@aeneasr aeneasr merged commit 878089d into master Jan 17, 2023
@aeneasr aeneasr deleted the fix-release branch January 17, 2023 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants