From 38663142d114c8ba7332fef034c2eeb7d9fb4697 Mon Sep 17 00:00:00 2001
From: Julien Ponge <jponge@redhat.com>
Date: Thu, 31 Aug 2023 15:50:14 +0200
Subject: [PATCH] Try running JBang script directly

---
 .build/PreRelease.java        | 0
 .build/setup-jbang.sh         | 2 +-
 .github/workflows/release.yml | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 .build/PreRelease.java

diff --git a/.build/PreRelease.java b/.build/PreRelease.java
old mode 100644
new mode 100755
diff --git a/.build/setup-jbang.sh b/.build/setup-jbang.sh
index 78bd8e5b7..500947b52 100755
--- a/.build/setup-jbang.sh
+++ b/.build/setup-jbang.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 
 curl -s "https://get.sdkman.io" | bash
-source ~/.sdkman/bin/sdkman-init.sh && sdk install jbang && echo "👍"
+source ~/.sdkman/bin/sdkman-init.sh && sdk install jbang
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index b92d3dc60..9c2c188df 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -62,7 +62,7 @@ jobs:
 
       # Preparation steps
       - name: Run pre-release checks
-        run: jbang .build/PreRelease.java --token=${{ secrets.GITHUB_TOKEN }} --release-version=${{ github.event.inputs.version }}
+        run: .build/PreRelease.java --token=${{ secrets.GITHUB_TOKEN }} --release-version=${{ github.event.inputs.version }}
       - name: Bump to the release version
         run: .build/bump-to-release-version.sh
       - name: Check that the project builds (no tests)