Skip to content

Release version 3.1.13#236

Merged
matteodelucchi merged 1 commit intomainfrom
release-3.1.13
Dec 18, 2025
Merged

Release version 3.1.13#236
matteodelucchi merged 1 commit intomainfrom
release-3.1.13

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

This request was triggered by Matteo Delucchi

The initiating tag was 3.1.13-rc

Merging this Pull Request will create a release of the version 3.1.13.

@matteodelucchi
Copy link
Copy Markdown
Contributor

Manually set all labels to "passed" since the r-containers framework is currently out of service.

@matteodelucchi matteodelucchi merged commit 9b0100b into main Dec 18, 2025
307 of 344 checks passed
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.

1 participant