From f16aad379af6de140cb279b81f0f7af4f88b139f Mon Sep 17 00:00:00 2001
From: Benjamin Gilbert <bgilbert@cs.cmu.edu>
Date: Sun, 7 Jun 2026 20:02:08 -0500
Subject: [PATCH] workflows: switch release job back to ubuntu-latest

Repos that push to PyPI can't use ubuntu-slim for their release jobs, so
it's cleaner to just use ubuntu-latest in all repos.

Signed-off-by: Benjamin Gilbert <bgilbert@cs.cmu.edu>
---
 .github/workflows/java.yaml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/java.yaml b/.github/workflows/java.yaml
index 0087fc5..b2e8ad5 100644
--- a/.github/workflows/java.yaml
+++ b/.github/workflows/java.yaml
@@ -112,7 +112,7 @@ jobs:
     name: Release
     if: github.ref_type == 'tag'
     needs: build
-    runs-on: ubuntu-slim
+    runs-on: ubuntu-latest
     concurrency: release-${{ github.ref }}
     permissions:
       contents: write
@@ -129,7 +129,9 @@ jobs:
         GITHUB_TOKEN: ${{ github.token }}
       run: |
         version=$(echo "${{ github.ref_name }}" | sed "s/^v//")
-        awk '/^## / && ok {exit} /^## / {ok=1; next} ok {print}' \
+        awk -e '/^## / && ok {exit}' \
+            -e '/^## / {ok=1; next}' \
+            -e 'ok {print}' \
             CHANGELOG.md > changes
         gh release create --prerelease --verify-tag \
             --repo "${{ github.repository }}" \