Mike/ralpi
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

port: refuse dst inside src (realpath-normalized) + workflow clones omp repo outside checkout
All checks were successful
port-to-omp / port (push) Successful in 16s
Details

Browse Source
This commit is contained in:
Michael Freno
2026-08-10 15:56:46 -04:00
parent 540862d7d0
commit 890988b72c
2 changed files with 43 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
.gitea/workflows/port-to-omp.yml
View File

@@ -32,24 +32,28 @@ jobs:
run: |
set -euo pipefail
URL="https://oauth2:${PORTING_TOKEN}@git.freno.me/Mike/${OMP_REPO}.git"
# The omp checkout lives in $RUNNER_TEMP, outside the pi checkout:
# the port script refuses to write into a subdirectory of its own
# source (cpSync would recurse into itself).
PORT_DIR="${RUNNER_TEMP:-/tmp}/omp-port"
if git ls-remote "$URL" HEAD >/dev/null 2>&1; then
git clone --depth 1 "$URL" omp-port
git -C omp-port config user.name "omp-port"
git -C omp-port config user.email "omp-port@freno.me"
git clone --depth 1 "$URL" "$PORT_DIR"
git -C "$PORT_DIR" config user.name "omp-port"
git -C "$PORT_DIR" config user.email "omp-port@freno.me"
else
git init -b main omp-port
git -C omp-port remote add origin "$URL"
git -C omp-port config user.name "omp-port"
git -C omp-port config user.email "omp-port@freno.me"
git init -b main "$PORT_DIR"
git -C "$PORT_DIR" remote add origin "$URL"
git -C "$PORT_DIR" config user.name "omp-port"
git -C "$PORT_DIR" config user.email "omp-port@freno.me"
fi
# Regenerate the port directly into the omp checkout. The script
# preserves .git, asserts every patch rule, and runs `bun install`
# (refreshing bun.lock + node_modules).
bun "$GITHUB_WORKSPACE/port-to-omp.mjs" --out "$PWD/omp-port"
bun "$GITHUB_WORKSPACE/port-to-omp.mjs" --out "$PORT_DIR"
cd omp-port
cd "$PORT_DIR"
# The port must compile against the pinned @oh-my-pi SDK before it
# ships to users.
bun run typecheck