Use setup-jbang action (instead of custom call of .sh script) (#13208)

* Use setup-jbang action (instead of custom call of .sh script)

* Output PR URL

* Add "run-main"

* Fix run-main call

* Output commit id

* Remove quotes

Author: koppor

.github/workflows/tests.yml

@@ -283,9 +283,7 @@ jobs:
           submodules: 'false'
           show-progress: 'false'
       - name: Install JBang
-        run: |
-          curl -Ls https://sh.jbang.dev | bash -s - app setup
-          echo "$HOME/.jbang/bin" >> $GITHUB_PATH
+        uses: jbangdev/setup-jbang@main
       - run: jbang build .jbang/CheckoutPR.java
       - run: jbang build .jbang/CloneJabRef.java
       - run: jbang build .jbang/JabKitLauncher.java

.jbang/CheckoutPR.java

@@ -75,6 +75,8 @@ public static void main(String[] args) throws Exception {
             pr = repo.getPullRequest(prNumber);
         }
 
+        System.out.println("Determined PR URL is " + pr.getUrl());
+
         if (pr.isMerged()) {
             System.out.println("Pull request is already merged - checking out main branch...");
             checkoutUpstreamMain();
@@ -144,7 +146,8 @@ public static void main(String[] args) throws Exception {
                .call();
         }
 
-        System.out.println("Checked out PR #" + pr.getNumber() + " (" + pr.getTitle() + ") to branch '" + localBranchName + "'.");
+        System.out.println("Checked out PR #" + pr.getNumber() + " (" + pr.getTitle() + ") to branch " + localBranchName + ".");
+        System.out.println("Checked out commit " + pr.getHead().getSha() + ".");
     }
 
     private static void checkoutUpstreamMain() throws Exception {

justfile

@@ -46,6 +46,9 @@ run-jabkit *FLAGS:
 run-jabsrv *FLAGS:
     .\gg.cmd gradle :jabsrv-cli:run --args="{{FLAGS}}"
 
+run-main:
+    just run main
+
 run-pr pr-id:
     just checkout-pr {{pr-id}}
     just run-gui