Skip to content

dev: update from main - #4829

Merged
handrews merged 13 commits into
devfrom
dev-merge-main
Aug 12, 2025
Merged

dev: update from main#4829
handrews merged 13 commits into
devfrom
dev-merge-main

Conversation

@ralfhandl

@ralfhandlralfhandl commented Aug 11, 2025

Copy link
Copy Markdown
Contributor

Explicitly accept incoming changes from main, otherwise has the same effect as the automation sync PR

  • schema changes are included in this pull request
  • schema changes are needed for this pull request but not done yet
  • no schema changes are needed for this pull request

ralfhandland others added 13 commits July 10, 2025 23:15
Bumps [respec](https://github.com/speced/respec) from 35.4.2 to 35.4.3.
- [Release notes](https://github.com/speced/respec/releases)
- [Changelog](https://github.com/speced/respec/blob/main/CHANGELOG.md)
- [Commits](speced/respec@v35.4.2...v35.4.3)
---
updated-dependencies:
- dependency-name: respec
dependency-version: 35.4.3
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Bumps [cheerio](https://github.com/cheeriojs/cheerio) from 1.1.0 to 1.1.2.
- [Release notes](https://github.com/cheeriojs/cheerio/releases)
- [Commits](cheeriojs/cheerio@v1.1.0...v1.1.2)
---
updated-dependencies:
- dependency-name: cheerio
dependency-version: 1.1.2
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Bumps [yaml](https://github.com/eemeli/yaml) from 2.8.0 to 2.8.1.
- [Release notes](https://github.com/eemeli/yaml/releases)
- [Commits](eemeli/yaml@v2.8.0...v2.8.1)
---
updated-dependencies:
- dependency-name: yaml
dependency-version: 2.8.1
dependency-type: direct:development
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Minimum of current 3.1 and 3.2 coverage
@handrews
handrews merged commit 1f3374c into devAug 12, 2025
3 checks passed
@handrews
handrews deleted the dev-merge-main branch August 12, 2025 00:35
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@handrews