Skip to content

ci: remove changelog lint#572

Merged
camilamaia merged 1 commit intomainfrom
remove-changelog-lint
Mar 4, 2023
Merged

ci: remove changelog lint#572
camilamaia merged 1 commit intomainfrom
remove-changelog-lint

Conversation

@camilamaia
Copy link
Copy Markdown
Member

@camilamaia camilamaia commented Mar 4, 2023

I tried to use it with GitHub action, but no luck so far 😢 So for now, let's remove it. We can try it again later.

Closes #139
Closes #481

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 4, 2023

@camilamaia your pull request is missing a changelog!

@codecov-commenter
Copy link
Copy Markdown

codecov-commenter commented Mar 4, 2023

Codecov Report

Merging #572 (5f9f5cf) into main (4193ba4) will not change coverage.
The diff coverage is n/a.

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@           Coverage Diff           @@
##             main     #572   +/-   ##
=======================================
  Coverage   98.11%   98.11%           
=======================================
  Files          23       23           
  Lines         743      743           
=======================================
  Hits          729      729           
  Misses         14       14           

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

@camilamaia camilamaia force-pushed the remove-changelog-lint branch 21 times, most recently from db45447 to 5f9f5cf Compare March 4, 2023 17:20
@camilamaia camilamaia force-pushed the remove-changelog-lint branch from 5f9f5cf to e3b58d8 Compare March 4, 2023 17:34
@camilamaia camilamaia changed the title ci: move changelog lint to GHA ci: remove changelog lint Mar 4, 2023
@camilamaia camilamaia marked this pull request as ready for review March 4, 2023 17:35
@camilamaia camilamaia requested review from a team as code owners March 4, 2023 17:35
@camilamaia camilamaia merged commit cccd7c7 into main Mar 4, 2023
@camilamaia camilamaia deleted the remove-changelog-lint branch March 4, 2023 17:36
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.

Fix changelog lint "Error: Resource not accessible by integration" Move Changelog Lint from CircleCI to GitHub Actions

2 participants