V8.13.008.2025.08.22
Signed-off-by: Marc S. Weidner <msw@coresecret.dev>
This commit is contained in:
@@ -10,6 +10,6 @@
|
|||||||
# SPDX-Security-Contact: security@coresecret.eu
|
# SPDX-Security-Contact: security@coresecret.eu
|
||||||
|
|
||||||
build:
|
build:
|
||||||
counter: 1023
|
counter: 1024
|
||||||
version: V8.13.008.2025.08.22
|
version: V8.13.008.2025.08.22
|
||||||
# vim: number et ts=2 sw=2 sts=2 ai tw=128 ft=yaml
|
# vim: number et ts=2 sw=2 sts=2 ai tw=128 ft=yaml
|
||||||
|
|||||||
@@ -33,7 +33,37 @@ jobs:
|
|||||||
image: debian:trixie
|
image: debian:trixie
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
|
- name: 🔎 Show workspace & mounts
|
||||||
|
shell: bash
|
||||||
|
run: |
|
||||||
|
set -euo pipefail
|
||||||
|
echo "GITHUB_WORKSPACE=$GITHUB_WORKSPACE"
|
||||||
|
pwd
|
||||||
|
ls -ld "$GITHUB_WORKSPACE"
|
||||||
|
command -v findmnt >/dev/null || apt-get update && apt-get install -y findmnt || true
|
||||||
|
findmnt -no SOURCE,TARGET "$GITHUB_WORKSPACE" || true
|
||||||
|
df -h "$GITHUB_WORKSPACE"
|
||||||
|
df -h .
|
||||||
|
|
||||||
|
- name: ⚙️ Space guards (workspace + LB_PARENTDIR)
|
||||||
|
shell: bash
|
||||||
|
env:
|
||||||
|
LB_PARENTDIR: /work
|
||||||
|
run: |
|
||||||
|
set -euo pipefail
|
||||||
|
need_mb=16384
|
||||||
|
for p in "${GITHUB_WORKSPACE:?}" "${LB_PARENTDIR:?}"; do
|
||||||
|
mkdir -p "$p"
|
||||||
|
avail_mb=$(df -Pm "$p" | awk 'NR==2{print $4}')
|
||||||
|
printf "[INFO] %s: %s MiB available (need %s MiB)\n" "$p" "$avail_mb" "$need_mb"
|
||||||
|
if (( avail_mb < need_mb )); then
|
||||||
|
printf "[\e[91mERROR\e[0m] Not enough free space at: [%s] - [%s] MiB available < [%s] MiB needed. \n" "${p}" "${avail_mb}" "${need_mb}"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
done
|
||||||
|
|
||||||
- name: ⚙️ Is there sufficient space available?
|
- name: ⚙️ Is there sufficient space available?
|
||||||
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
need_mb=8192
|
need_mb=8192
|
||||||
@@ -46,6 +76,7 @@ jobs:
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
- name: 🛠️ Basic Image Setup.
|
- name: 🛠️ Basic Image Setup.
|
||||||
|
shell: bash
|
||||||
run: |
|
run: |
|
||||||
export DEBIAN_FRONTEND=noninteractive
|
export DEBIAN_FRONTEND=noninteractive
|
||||||
apt-get update -y
|
apt-get update -y
|
||||||
|
|||||||
Reference in New Issue
Block a user