Skip to content

Conversation

github-actions[bot]
Copy link

This PR contains a snapshot of master from upstream master.

dtantsur and others added 2 commits September 13, 2025 16:47
Change-Id: I96d8c69e4a7ada9540adf561da35fe99b23df0c8
Signed-off-by: Dmitry Tantsur <dtantsur@protonmail.com>
@github-actions github-actions bot added automated Automated action performed by GitHub Actions synchronisation labels Sep 22, 2025
@priteau priteau merged commit 4277e82 into stackhpc/master Sep 23, 2025
@priteau priteau deleted the upstream/master-2025-09-22 branch September 23, 2025 07:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automated Automated action performed by GitHub Actions synchronisation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants