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

chore: various housekeeping tasks #1974

Merged
merged 5 commits into from
Aug 8, 2022
Merged

chore: various housekeeping tasks #1974

merged 5 commits into from
Aug 8, 2022

Conversation

dirkdev98
Copy link
Member

  • Remove old examples
  • Redo examples generate setup
  • Redo examples testing setup
  • Remove readme sync
  • Remove examples to docs sync
  • Link root changelog and contributing files to docs instead of copying them
  • Update PR actions to check on uncommitted changes and fail if so.
  • Remove the sync metadata github action

- Remove old examples
- Redo examples generate setup
- Redo examples testing setup
- Remove readme sync
- Remove examples to docs sync
- Link root changelog and contributing files to docs instead of copying them
- Update PR actions to check on uncommitted changes and fail if so.
- Remove the sync metadata github action
@codecov
Copy link

codecov bot commented Aug 8, 2022

Codecov Report

Merging #1974 (d90c9f0) into main (d0a6a57) will increase coverage by 0.09%.
The diff coverage is 13.72%.

@@            Coverage Diff             @@
##             main    #1974      +/-   ##
==========================================
+ Coverage   78.78%   78.87%   +0.09%     
==========================================
  Files         194      188       -6     
  Lines       29562    28955     -607     
==========================================
- Hits        23291    22839     -452     
+ Misses       6271     6116     -155     

@dirkdev98 dirkdev98 merged commit 302155a into main Aug 8, 2022
@dirkdev98 dirkdev98 deleted the chore/housekeeping branch August 8, 2022 13:54
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.

1 participant