Vijay Janapa Reddi 3a2b1bf482 fix(ci): use head_ref for PR branch in fresh install test ...

On PR events, github.ref_name resolves to the merge ref (e.g.
"1159/merge") which doesn't exist on raw.githubusercontent.com,
causing a 404. Use github.head_ref (the actual source branch)
for PRs, falling back to ref_name for push events.

Also adds -f flag to curl so HTTP errors fail immediately with
a clear message instead of silently saving the 404 HTML page.

2026-02-04 10:06:25 -05:00

..

build-book.sh

…

build-docs.sh

…

cleanup_repo_history.sh

…

release.sh

…

test-fresh-install.sh

fix(ci): use head_ref for PR branch in fresh install test

2026-02-04 10:06:25 -05:00

tito

…