Skip to content

Release v3.5.1#60

Merged
grahamc merged 8 commits into
detsys-mainfrom
release-v3.5.1/64e9675a-96ff-4d91-817c-52e0322540e4
May 9, 2025
Merged

Release v3.5.1#60
grahamc merged 8 commits into
detsys-mainfrom
release-v3.5.1/64e9675a-96ff-4d91-817c-52e0322540e4

Conversation

@github-actions

@github-actions github-actions Bot commented May 9, 2025

Copy link
Copy Markdown

v3.5.1 (64e9675a-96ff-4d91-817c-52e0322540e4)

@grahamc grahamc closed this May 9, 2025
@grahamc grahamc reopened this May 9, 2025
@grahamc grahamc enabled auto-merge May 9, 2025 18:23

@grahamc grahamc left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

needs release notes (?)

@github-actions github-actions Bot force-pushed the release-v3.5.1/64e9675a-96ff-4d91-817c-52e0322540e4 branch from 43bc33a to 89fe261 Compare May 9, 2025 18:34
@github-actions

github-actions Bot commented May 9, 2025

Copy link
Copy Markdown
Author

@github-actions github-actions Bot force-pushed the release-v3.5.1/64e9675a-96ff-4d91-817c-52e0322540e4 branch 3 times, most recently from abca5df to 55e58f8 Compare May 9, 2025 20:06
@github-actions github-actions Bot force-pushed the release-v3.5.1/64e9675a-96ff-4d91-817c-52e0322540e4 branch from 55e58f8 to 7a48717 Compare May 9, 2025 20:50
Comment thread doc/manual/source/SUMMARY.md.in Outdated
Comment thread doc/manual/source/release-notes-determinate/changes.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.5.1.md Outdated
Comment thread doc/manual/source/release-notes-determinate/changes.md Outdated
Comment thread doc/manual/source/release-notes-determinate/changes.md Outdated
Comment thread doc/manual/source/release-notes-determinate/changes.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.5.1.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.5.1.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.5.1.md Outdated

@grahamc grahamc left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

...nits

Comment thread doc/manual/source/release-notes-determinate/changes.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.5.1.md Outdated
Comment thread doc/manual/source/release-notes-determinate/changes.md Outdated
@github-actions github-actions Bot temporarily deployed to pull request May 9, 2025 21:06 Inactive
@github-actions github-actions Bot temporarily deployed to pull request May 9, 2025 21:16 Inactive
@grahamc grahamc self-requested a review May 9, 2025 21:27
@github-actions github-actions Bot temporarily deployed to pull request May 9, 2025 21:28 Inactive
@grahamc grahamc added this pull request to the merge queue May 9, 2025
Merged via the queue into detsys-main with commit 9bbe06b May 9, 2025
26 checks passed
@grahamc grahamc deleted the release-v3.5.1/64e9675a-96ff-4d91-817c-52e0322540e4 branch May 9, 2025 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants