diff --git a/.github/functional_tests/test_helpers/verify_action_output.sh b/.github/functional_tests/test_helpers/verify_action_output.sh index e9514a8..5b0c77a 100755 --- a/.github/functional_tests/test_helpers/verify_action_output.sh +++ b/.github/functional_tests/test_helpers/verify_action_output.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Expects the following environment variables to be set in the calling job step: # - OUTPUT_NAME: the name of the output to verify diff --git a/CHANGELOG.md b/CHANGELOG.md index a2e195b..29f432e 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## Unreleased +### Fixed + +- use a more portable shebang, useful for self-hosted runners + ## v1.5.0 - 2026-04-21 ### Added diff --git a/scripts/check_reservoir_eligibility.sh b/scripts/check_reservoir_eligibility.sh index a3dadd4..2b91c16 100755 --- a/scripts/check_reservoir_eligibility.sh +++ b/scripts/check_reservoir_eligibility.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Group logging using the ::group:: workflow command echo "::group::Reservoir Eligibility Check Output" diff --git a/scripts/config.sh b/scripts/config.sh index 6bc0aca..e37e913 100755 --- a/scripts/config.sh +++ b/scripts/config.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # start log group diff --git a/scripts/detect_mathlib.sh b/scripts/detect_mathlib.sh index 1a1d2c0..5c10098 100755 --- a/scripts/detect_mathlib.sh +++ b/scripts/detect_mathlib.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Group logging using the ::group:: workflow command echo "::group::Detect Mathlib Output" diff --git a/scripts/install_elan.sh b/scripts/install_elan.sh index 482d716..ad678c4 100755 --- a/scripts/install_elan.sh +++ b/scripts/install_elan.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Group logging using the ::group:: workflow command diff --git a/scripts/lake_build.sh b/scripts/lake_build.sh index 6d5501a..dc0bbb7 100755 --- a/scripts/lake_build.sh +++ b/scripts/lake_build.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # start log group diff --git a/scripts/lake_lint.sh b/scripts/lake_lint.sh index c8075f9..87d7f8f 100755 --- a/scripts/lake_lint.sh +++ b/scripts/lake_lint.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e echo "::group::Lake Lint Output" diff --git a/scripts/lake_test.sh b/scripts/lake_test.sh index 692ef28..bbf3744 100755 --- a/scripts/lake_test.sh +++ b/scripts/lake_test.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # start log group diff --git a/scripts/mk_all_check.sh b/scripts/mk_all_check.sh index ab7da35..d5e0526 100755 --- a/scripts/mk_all_check.sh +++ b/scripts/mk_all_check.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e echo "::group::mk_all Output" diff --git a/scripts/run_leanchecker.sh b/scripts/run_leanchecker.sh index 04006f6..3746b2d 100755 --- a/scripts/run_leanchecker.sh +++ b/scripts/run_leanchecker.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail echo "::group::leanchecker Output" diff --git a/scripts/run_nanoda.sh b/scripts/run_nanoda.sh index ca87f03..6675345 100755 --- a/scripts/run_nanoda.sh +++ b/scripts/run_nanoda.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e # Group logging using the ::group:: workflow command diff --git a/scripts/set_output_parameters.sh b/scripts/set_output_parameters.sh index 18a9a7e..629473b 100755 --- a/scripts/set_output_parameters.sh +++ b/scripts/set_output_parameters.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Group logging using the ::group:: workflow command echo "::group::Set Output Parameters"