Skip to content

Conversation

@github-actions
Copy link

This PR contains a snapshot of 2023.1 from upstream unmaintained/2023.1.

Change-Id: Id8859945a5346e3abd5a4c20e189215dca1c8bdc
@github-actions github-actions bot added automated Automated action performed by GitHub Actions synchronisation labels Jan 27, 2025
@github-actions github-actions bot requested a review from a team as a code owner January 27, 2025 06:23
@priteau priteau closed this Jan 27, 2025
@priteau priteau reopened this Jan 27, 2025
@priteau priteau enabled auto-merge January 27, 2025 08:47
@priteau priteau merged commit 3c91a1e into stackhpc/2023.1 Jan 27, 2025
3 checks passed
@priteau priteau deleted the upstream/2023.1-2025-01-27 branch January 27, 2025 08:49
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.

3 participants