mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
[PR #1341] [MERGED] CI job polish #1031
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/apple/pkl/pull/1341
Author: @bioball
Created: 12/3/2025
Status: ✅ Merged
Merged: 12/4/2025
Merged by: @bioball
Base:
main← Head:no-daemon-in-ci📝 Commits (2)
04866d9Disable Gradle daemon when running in CI4188f1aExclude publish test results task in some jobs📊 Changes
7 files changed (+90 additions, -168 deletions)
View changed files
📝
.github/index.pkl(+5 -0)📝
.github/jobs/GradleJob.pkl(+1 -0)📝
.github/workflows/build.yml(+17 -31)📝
.github/workflows/main.yml(+18 -32)📝
.github/workflows/prb.yml(+14 -14)📝
.github/workflows/release-branch.yml(+17 -31)📝
.github/workflows/release.yml(+18 -60)📄 Description
Avoids issues where setup-java post-task cacheing will hang with "device or resource busy".
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.