Skip to content

Release v3.6.2#86

Merged
grahamc merged 4 commits into
detsys-mainfrom
release-v3.6.2/12e4a1d6-8b7e-4bad-b367-cef81f9b2c30
Jun 3, 2025
Merged

Release v3.6.2#86
grahamc merged 4 commits into
detsys-mainfrom
release-v3.6.2/12e4a1d6-8b7e-4bad-b367-cef81f9b2c30

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented Jun 2, 2025

v3.6.2 (12e4a1d6-8b7e-4bad-b367-cef81f9b2c30)

@grahamc grahamc closed this Jun 2, 2025
@grahamc grahamc reopened this Jun 2, 2025
@grahamc grahamc enabled auto-merge June 2, 2025 23:28
@github-actions github-actions Bot force-pushed the release-v3.6.2/12e4a1d6-8b7e-4bad-b367-cef81f9b2c30 branch from dd689b3 to 49b4726 Compare June 2, 2025 23:31
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/changes.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.6.2.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.6.2.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.6.2.md Outdated
Comment thread doc/manual/source/release-notes-determinate/rl-3.6.2.md Outdated
@github-actions
Copy link
Copy Markdown
Author

github-actions Bot commented Jun 2, 2025

@github-actions github-actions Bot temporarily deployed to pull request June 2, 2025 23:41 Inactive
@grahamc grahamc added this pull request to the merge queue Jun 2, 2025
github-merge-queue Bot pushed a commit that referenced this pull request Jun 2, 2025
…6-8b7e-4bad-b367-cef81f9b2c30

Release v3.6.2
@grahamc grahamc removed this pull request from the merge queue due to a manual request Jun 3, 2025
@grahamc grahamc added this pull request to the merge queue Jun 3, 2025
Merged via the queue into detsys-main with commit a18fd9b Jun 3, 2025
26 checks passed
@grahamc grahamc deleted the release-v3.6.2/12e4a1d6-8b7e-4bad-b367-cef81f9b2c30 branch June 3, 2025 00:37
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.

1 participant