mirror of
https://github.com/apple/pkl.git
synced 2026-01-11 22:30:54 +01:00
[PR #1315] [MERGED] Switch to GitHub Actions #1011
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/1315
Author: @bioball
Created: 11/13/2025
Status: ✅ Merged
Merged: 11/14/2025
Merged by: @bioball
Base:
main← Head:github-actions📝 Commits (10+)
0f1e285Switch to GitHub Actions5d7b796Build other jobs based on description3c2e98cAddresse PR comments, fix tests099e112Address more PR commentsb6ddd8cWIP641d397Update package, cleanups37a5cedUse maven helper1f80050Add maven release environment75ceb36Add security patches, build java executables, better artifact name handling65d8271Bump pkg version📊 Changes
26 files changed (+4238 additions, -2225 deletions)
View changed files
➖
.circleci/config.pkl(+0 -172)➖
.circleci/config.yml(+0 -1637)➖
.circleci/jobs/BuildNativeJob.pkl(+0 -202)➖
.circleci/jobs/DeployJob.pkl(+0 -43)➖
.circleci/jobs/GradleCheckJob.pkl(+0 -25)➖
.circleci/jobs/GradleJob.pkl(+0 -107)➖
.circleci/jobs/SimpleGradleJob.pkl(+0 -36)📝
.gitattributes(+1 -0)📝
.githooks/pre-commit(+3 -3)➕
.github/PklProject(+10 -0)➕
.github/PklProject.deps.json(+19 -0)➕
.github/index.pkl(+179 -0)➕
.github/jobs/BuildJavaExecutableJob.pkl(+33 -0)➕
.github/jobs/BuildNativeJob.pkl(+47 -0)➕
.github/jobs/DeployJob.pkl(+31 -0)➕
.github/jobs/GithubRelease.pkl(+43 -0)➕
.github/jobs/GradleJob.pkl(+93 -0)➕
.github/jobs/PklJob.pkl(+29 -0)➕
.github/jobs/SimpleGradleJob.pkl(+18 -0)➕
.github/scripts/install_musl.sh(+71 -0)...and 6 more files
📄 Description
This switches our builds over to GitHub Actions!
TODO (to be done in follow-up PRs)
As part of this build, PRBs will now only run
./gradlew checkon Linux, but other jobs can be run by adding slash commands in the PR description.[native-pkl-doc-alpine-linux-amd64]
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.