Skip to content

Conversation

ralfhandl
Copy link
Contributor

@ralfhandl ralfhandl commented Aug 11, 2025

Manually merge main into dev - needed to explictly accept incoming changes.

  • 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

ralfhandl and 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] <[email protected]>
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] <[email protected]>
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] <[email protected]>
Minimum of current 3.1 and 3.2 coverage
@ralfhandl ralfhandl requested review from a team as code owners August 11, 2025 21:01
@ralfhandl ralfhandl requested a review from handrews August 11, 2025 21:02
@ralfhandl ralfhandl changed the title Merge main into dev dev: update from main Aug 11, 2025
@ralfhandl ralfhandl closed this Aug 11, 2025
@ralfhandl ralfhandl deleted the merge-main-into-dev branch August 11, 2025 21:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants