From 3c74bb57f4abe94488a854fdaaf3acd5b469603f Mon Sep 17 00:00:00 2001 From: Emil Lundberg Date: Thu, 9 Nov 2023 20:31:27 +0100 Subject: [PATCH] Add releasing step to check that JDK version is available in GHA --- doc/releasing.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/releasing.md b/doc/releasing.md index 88083b50c..557e2fbe5 100644 --- a/doc/releasing.md +++ b/doc/releasing.md @@ -32,7 +32,8 @@ Release candidate versions java: ["17.0.7"] ``` - Commit this change, if any. + Check that this version is available in GitHub Actions. Commit this change, + if any. 4. Tag the head commit with an `X.Y.Z-RCN` tag: @@ -134,6 +135,8 @@ Release versions java: ["17.0.7"] ``` + Check that this version is available in GitHub Actions. + 7. Amend these changes into the merge commit: ```