Fix publish job attempt 2 (#26)

Author: bioball

.github/index.pkl

@@ -100,6 +100,13 @@ local publishJob: Workflow.Job = new {
         cache = "gradle"
       }
     }
+    // check out again to write credentials to workspace (needed by publish task).
+    new Common.Checkout {
+      with {
+        `fetch-depth` = 0
+        `persist-credentials` = true
+      }
+    }
     new {
       env {
         ["GH_TOKEN"] = Context.github.token

.github/workflows/main.yml

@@ -39,6 +39,10 @@ jobs:
         java-version: '21'
         distribution: temurin
         cache: gradle
+    - uses: actions/checkout@v5
+      with:
+        persist-credentials: true
+        fetch-depth: 0
     - name: Generate and publish docs
       env:
         GH_TOKEN: ${{ github.token }}

src/main/kotlin/org/pkl/package_docs/Main.kt

@@ -26,13 +26,19 @@ fun main(args: Array<String>) {
     val (owner, repo) = repoStr.split("/")
     Repo(owner, repo)
   }
-  val docsGenerator = PackageDocs(gitRootDir, outputDir, repos)
-  docsGenerator.generateDocs()
-  if (doPublish) {
-    docsGenerator.uploadDocs()
-  }
+  try {
+    val docsGenerator = PackageDocs(gitRootDir, outputDir, repos)
+    docsGenerator.generateDocs()
+    if (doPublish) {
+      docsGenerator.uploadDocs()
+    }
   // hotfix: call `exitProcess` here to workaround something
   // causing the docs generator to hang.
   // TODO: figure out why this is hanging.
-  exitProcess(0)
+  } catch (e: Throwable) {
+    System.err.println(e.stackTraceToString())
+    exitProcess(1)
+  } finally {
+    exitProcess(0)
+  }
 }