Skip to content

dev: update from main - #4421

Merged
ralfhandl merged 4 commits into
devfrom
main
Mar 10, 2025
Merged

dev: update from main#4421
ralfhandl merged 4 commits into
devfrom
main

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Merge main into dev.

ralfhandland others added 3 commits March 6, 2025 15:09
Check in the whether the PR is an intra-repo sync PR or release PR and report "ok" for these.
Conditions:
- PR's `head` and `base` repo is `OAI/OpenAPI-Specification` and
- `head` is `main` and `base` is `dev`, or
- `head` is `dev` and `base` matches `v?.?-dev`, or
- `head` matches `v?.?.?-rel` and `base` is `main`
Bumps [vitest](https://github.com/vitest-dev/vitest/tree/HEAD/packages/vitest) from 3.0.7 to 3.0.8.
- [Release notes](https://github.com/vitest-dev/vitest/releases)
- [Commits](https://github.com/vitest-dev/vitest/commits/v3.0.8/packages/vitest)
---
updated-dependencies:
- dependency-name: vitest
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
@github-actions
github-actionsBot requested a review from a team as a code ownerMarch 7, 2025 08:23
@github-actions
github-actionsBot requested a review from a team as a code ownerMarch 7, 2025 08:23
ralfhandl
ralfhandl previously approved these changes Mar 8, 2025
…ow-some-PRs
main: check-restricted-files.yaml reports ok for intra-repo PRs that are allowed to change these files
@ralfhandl
ralfhandl merged commit d7bbe0e into devMar 10, 2025
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@ralfhandl@miqui