chore(setup): Rename helpers.sh to lib.sh

Based on a comment from #821
This commit is contained in:
Antoine Cotten 2023-02-17 11:53:12 +01:00
parent 9afd2c1607
commit ba06c5458a
No known key found for this signature in database
GPG Key ID: 94637E68D4A79DD0
4 changed files with 4 additions and 4 deletions

View File

@ -165,7 +165,7 @@ jobs:
- name: Collect troubleshooting data
id: debug-data
if: always()
if: failure()
run: |
declare debug_data_dir="$(mktemp -d)"
@ -194,7 +194,7 @@ jobs:
echo "path=${debug_data_dir}" >>"$GITHUB_OUTPUT"
- name: Upload collected troubleshooting data
if: always() && steps.debug-data.path
if: always() && steps.debug-data.outputs.path
uses: actions/upload-artifact@v3
with:
name: debug-data

View File

@ -17,7 +17,7 @@ services:
init: true
volumes:
- ./setup/entrypoint.sh:/entrypoint.sh:ro,Z
- ./setup/helpers.sh:/helpers.sh:ro,Z
- ./setup/lib.sh:/lib.sh:ro,Z
- ./setup/roles:/roles:ro,Z
- setup:/state:Z
environment:

View File

@ -3,7 +3,7 @@
set -eu
set -o pipefail
source "${BASH_SOURCE[0]%/*}"/helpers.sh
source "${BASH_SOURCE[0]%/*}"/lib.sh
# --------------------------------------------------------