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.

Sign up for GitHub

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

Jump to bottom

[Auto-generated] Update dependencies #461

Merged
merged 2 commits into from
Sep 7, 2022
Merged

[Auto-generated] Update dependencies #461

merged 2 commits into from
Sep 7, 2022

Conversation

TEAM4-0
Copy link
Collaborator

@TEAM4-0 TEAM4-0 commented Sep 7, 2022

Update dependencies

Automatically created PR from ci/dependabot-updates.

For more information see the "Dependabot updates" workflow.

To-do

  • Check that the diff is sensible, and that tests and builds pass with the new dependency versions.
  • Make sure that the PR is squash merged, with a sensible commit message.

@TEAM4-0 TEAM4-0 added dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code labels Sep 7, 2022
@francescalb francescalb merged commit 855ed95 into master Sep 7, 2022
@francescalb francescalb deleted the ci/update-dependencies branch September 7, 2022 08:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@francescalb francescalb francescalb approved these changes

Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@TEAM4-0 @francescalb