fix: use a more portable shebang

.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

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

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"

scripts/config.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 # start log group

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"

scripts/install_elan.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 # Group logging using the ::group:: workflow command

scripts/lake_build.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 # start log group

scripts/lake_lint.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 echo "::group::Lake Lint Output"

scripts/lake_test.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 # start log group

scripts/mk_all_check.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 echo "::group::mk_all Output"

scripts/run_leanchecker.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -euo pipefail
 
 echo "::group::leanchecker Output"

scripts/run_nanoda.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -e
 
 # Group logging using the ::group:: workflow command

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"