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

build(badges): fix build badge #2380

Merged
merged 1 commit into from
Dec 23, 2022
Merged

build(badges): fix build badge #2380

merged 1 commit into from
Dec 23, 2022

Conversation

ndr-brt
Copy link
Member

@ndr-brt ndr-brt commented Dec 22, 2022 •
edited
Loading

What this PR changes/adds

Fix build badge

Why it does that

It was showing an error and it didn't point to the main branch as expected

Checklist

  • added appropriate tests?
  • performed checkstyle check locally?
  • added/updated copyright headers?
  • documented public classes/methods?
  • added/updated relevant documentation?
  • assigned appropriate label? (exclude from changelog with label no-changelog)
  • formatted title correctly? (take a look at the CONTRIBUTING and Etiquette for pull requests for details)

@ndr-brt ndr-brt added the build Anything related to the CI/CD Pipeline on Github Actions label Dec 22, 2022
@ndr-brt ndr-brt merged commit 22d3ed8 into eclipse-edc:main Dec 23, 2022
@ndr-brt ndr-brt deleted the fix-build-badge branch December 23, 2022 07:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wolf4ood wolf4ood wolf4ood approved these changes

@paullatzelsperger paullatzelsperger Awaiting requested review from paullatzelsperger

@juliapampus juliapampus Awaiting requested review from juliapampus

Assignees
No one assigned
Labels
build Anything related to the CI/CD Pipeline on Github Actions
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ndr-brt @wolf4ood