Skip to content

Conversation

pull[bot]
Copy link

@pull pull bot commented Aug 27, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.3)

Can you help keep this open source service alive? 💖 Please sponsor : )

roblourens and others added 8 commits August 27, 2025 15:05
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](actions/checkout@v4...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
* Extract some types to be able to reuse them in copilot chat

* Avoid exporting interfaces which trips up the transpiler used for speeding up the CI
@pull pull bot locked and limited conversation to collaborators Aug 27, 2025
@pull pull bot added the ⤵️ pull label Aug 27, 2025
@pull pull bot merged commit d793cce into code:main Aug 27, 2025
4 of 15 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants