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

[Auto-generated] Update dependencies #175

Merged
merged 2 commits into from
Oct 27, 2023
Merged

[Auto-generated] Update dependencies #175

merged 2 commits into from
Oct 27, 2023

Conversation

CasperWA
Copy link
Contributor

@CasperWA CasperWA commented Oct 18, 2023

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.

@CasperWA CasperWA added dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code labels Oct 18, 2023
@CasperWA CasperWA force-pushed the ci/update-dependencies branch from 1238541 to d86cc33 Compare October 25, 2023 06:39
.pre-commit-config.yaml Outdated Show resolved Hide resolved
.pre-commit-config.yaml Outdated Show resolved Hide resolved
.pre-commit-config.yaml Outdated Show resolved Hide resolved
@CasperWA CasperWA merged commit fc31fa0 into main Oct 27, 2023
1 check passed
@CasperWA CasperWA deleted the ci/update-dependencies branch October 27, 2023 11:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file github_actions Pull requests that update Github_actions code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant