Skip to content

Conversation

plaindocs
Copy link
Contributor

No description provided.

Copy link
Contributor

@pietroalbini pietroalbini left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors merge

@bors-ferrocene
Copy link
Contributor

🕐 Waiting for PR status (Github check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@bors-ferrocene
Copy link
Contributor

Build succeeded:

  • full

@bors-ferrocene bors-ferrocene bot merged commit 20e179f into main Mar 24, 2025
2 checks passed
@bors-ferrocene bors-ferrocene bot deleted the sam-full branch March 24, 2025 17:37
@github-actions github-actions bot added backport:maybe PR candidate for backport merged-in:1.87 labels Mar 24, 2025
@github-actions github-actions bot removed the backport:maybe PR candidate for backport label Apr 8, 2025
ferrocene-automations bot pushed a commit that referenced this pull request Apr 8, 2025
Ferrocene-backport-of: #1377
@tshepang tshepang changed the title Minor clarifications to provided libraries and qualfied targets Minor clarifications to provided libraries and qualified targets Apr 8, 2025
bors-ferrocene bot added a commit that referenced this pull request Apr 9, 2025
1398: Backport to `release/1.86` r=tshepang a=ferrocene-automations[bot]

This PR backports the following PRs to the `release/1.86` branch:

* #1326
* #1342
* #1350
* #1370
* #1377
* #1375

Co-authored-by: Tshepang Mbambo <tshepang.mbambo@ferrous-systems.com>
Co-authored-by: Ana Hobden <operator@hoverbear.org>
Co-authored-by: Lukas Wirth <lukas.wirth@ferrous-systems.com>
Co-authored-by: Samuel Wright <samuel.wright@ferrous-systems.com>
@ferrocene-automations ferrocene-automations bot added the backport:manual PR requiring manual intervention to backport label Apr 10, 2025
@tshepang tshepang removed backport:manual PR requiring manual intervention to backport backport:1.86 labels Apr 11, 2025
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.

4 participants