Skip to content
This repository has been archived by the owner on Nov 23, 2024. It is now read-only.

docs: handle deprecation warning wrt. emojis #116

Merged
merged 1 commit into from
Dec 8, 2023
Merged

docs: handle deprecation warning wrt. emojis #116

merged 1 commit into from
Dec 8, 2023

Conversation

lars-reimann
Copy link
Member

@lars-reimann lars-reimann commented Dec 8, 2023

Summary of Changes

Update Material for Mkdocs configuration to handle a deprecation warning.

@lars-reimann lars-reimann requested a review from a team as a code owner December 8, 2023 09:29
Copy link

codecov bot commented Dec 8, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (fc71bbf) 100.00% compared to head (29ff428) 100.00%.

Additional details and impacted files
@@            Coverage Diff            @@
##              main      #116   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            7         7           
  Lines           38        38           
=========================================
  Hits            38        38           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Contributor

github-actions bot commented Dec 8, 2023

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ REPOSITORY git_diff yes no 0.03s

See detailed report in MegaLinter reports
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

MegaLinter is graciously provided by OX Security

@lars-reimann lars-reimann merged commit f7bd5a3 into main Dec 8, 2023
8 checks passed
@lars-reimann lars-reimann deleted the emojis branch December 8, 2023 09:31
@lars-reimann
Copy link
Member Author

🎉 This PR is included in version 0.17.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Jan 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
released Included in a release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant