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

build: remove outdated dependencies #1482

Merged
merged 2 commits into from
Nov 29, 2023
Merged

build: remove outdated dependencies #1482

merged 2 commits into from
Nov 29, 2023

Conversation

lars-reimann
Copy link
Member

Summary of Changes

Remove dependencies that are no longer needed.

Copy link

github-actions bot commented Nov 29, 2023

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ KOTLIN ktlint 2 0 0 3.3s
✅ REPOSITORY git_diff yes no 0.43s

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

Copy link

codecov bot commented Nov 29, 2023

Codecov Report

Merging #1482 (7e8a07d) into main (2512af7) will increase coverage by 0.00%.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1482   +/-   ##
=======================================
  Coverage   63.30%   63.31%           
=======================================
  Files          74       74           
  Lines        6598     6597    -1     
  Branches      477      477           
=======================================
  Hits         4177     4177           
+ Misses       2361     2360    -1     
  Partials       60       60           
Components Coverage Δ
backend 79.87% <ø> (+0.05%) ⬆️
desktop ∅ <ø> (∅)
gui 58.79% <ø> (ø)
Files Coverage Δ
.../kotlin/com/safeds/apiEditor/server/Application.kt 92.30% <ø> (+6.59%) ⬆️

@lars-reimann lars-reimann merged commit 9ab6ae4 into main Nov 29, 2023
8 checks passed
@lars-reimann lars-reimann deleted the remove-unneeded-deps branch November 29, 2023 15:46
@lars-reimann
Copy link
Member Author

🎉 This PR is included in version 1.93.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@lars-reimann lars-reimann added the released Included in a release label Nov 29, 2023
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.

2 participants