1515//===----------------------------------------------------------------------===//
1616amends "@pkl.impl.ghactions/PklCI.pkl"
1717
18- import "@gha/actions/Common.pkl"
19- import "@gha/actions/Setup.pkl"
20- import "@gha/Context.pkl"
21- import "@gha/Workflow.pkl"
18+ import "@com.github.actions/catalog.pkl"
19+ import "@com.github.actions/context.pkl"
20+ import "@com.github.actions/Workflow.pkl"
2221
2322build = baseWorkflow
2423
@@ -53,12 +52,12 @@ local testJob: Workflow.Job = new {
5352 name = "Build and test"
5453 `runs-on` = "ubuntu-latest"
5554 steps {
56- new Common .Checkout {
55+ (catalog.`actions / checkout @v6 `) {
5756 with {
5857 `fetch-depth` = 0
5958 }
6059 }
61- new Setup .Java {
60+ (catalog.`actions / setup - java @v5 `) {
6261 name = "Setup Java"
6362 with {
6463 distribution = "temurin"
@@ -83,16 +82,17 @@ local publishJob: Workflow.Job = new {
8382 new {
8483 name = "Triggered by"
8584 `if` = "inputs.source_run != null"
86- run = """
85+ run =
86+ """
8787 echo "Triggered by workflow in repo: ${{ inputs.source_run }}" >> $GITHUB_STEP_SUMMARY
8888 """
8989 }
90- new Common .Checkout {
90+ (catalog.`actions / checkout @v6 `) {
9191 with {
9292 `fetch-depth` = 0
9393 }
9494 }
95- new Setup .Java {
95+ (catalog.`actions / setup - java @v5 `) {
9696 name = "Setup Java"
9797 with {
9898 distribution = "temurin"
@@ -101,15 +101,15 @@ local publishJob: Workflow.Job = new {
101101 }
102102 }
103103 // check out again to write credentials to workspace (needed by publish task).
104- new Common .Checkout {
104+ (catalog.`actions / checkout @v6 `) {
105105 with {
106106 `fetch-depth` = 0
107107 `persist-credentials` = true
108108 }
109109 }
110110 new {
111111 env {
112- ["GH_TOKEN" ] = Context .github.token
112+ ["GH_TOKEN" ] = context .github.token
113113 }
114114 name = "Generate and publish docs"
115115 run = "./gradlew check generateAndPublishDocs --refresh-dependencies"
0 commit comments