mirror of
https://github.com/probberechts/soccerdata.git
synced 2026-04-26 10:35:53 +03:00
[PR #493] [MERGED] chore(deps): update dependency coverage to v7.4.2 #605
Labels
No labels
ESPN
FBref
FotMob
MatchHistory
SoFIFA
Sofascore
WhoScored
WhoScored
bug
build
common
dependencies
discussion
documentation
duplicate
enhancement
good first issue
invalid
performance
pull-request
question
question
removal
understat
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/soccerdata#605
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/probberechts/soccerdata/pull/493
Author: @renovate[bot]
Created: 2/27/2024
Status: ✅ Merged
Merged: 2/28/2024
Merged by: @renovate[bot]
Base:
master← Head:renovate/coverage-7.4.x-lockfile📝 Commits (1)
c998be9chore(deps): update dependency coverage to v7.4.2📊 Changes
1 file changed (+56 additions, -55 deletions)
View changed files
📝
poetry.lock(+56 -55)📄 Description
This PR contains the following updates:
7.4.1->7.4.2Release Notes
nedbat/coveragepy (coverage)
v7.4.2Compare Source
COVERAGE_CORE=sysmonno longer errors on 3.11 and lower,thanks
Hugo van Kemenade <pull 1747_>_. It now issues a warning thatsys.monitoring is not available and falls back to the default core instead.
.. _pull 1747:https://github.com/nedbat/coveragepy/pull/17477
.. _changes_7-4-1:
Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Enabled.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
This PR has been generated by Mend Renovate. View repository job log here.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.