Skip to content

ci: basic repo / ci / dependabot maintenance - #555

Merged
andreynering merged 8 commits into
mainfrom
repo-ci-maintenance
Sep 8, 2025
Merged

ci: basic repo / ci / dependabot maintenance#555
andreynering merged 8 commits into
mainfrom
repo-ci-maintenance

Conversation

@andreynering

Copy link
Copy Markdown
Member

No description provided.

@andreynering andreynering self-assigned this Sep 8, 2025
@andreynering

andreynering commented Sep 8, 2025

Copy link
Copy Markdown
Member Author

The build ones failing are already failing on main. Not related to this PR.

@andreynering
andreynering enabled auto-merge (rebase) September 8, 2025 14:11
@andreynering
andreynering merged commit c38ab83 into main Sep 8, 2025
186 of 214 checks passed
@andreynering
andreynering deleted the repo-ci-maintenance branch September 8, 2025 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants