Skip to content

Verify bundled sources using CI - boost.context & uriparser #20438

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 14 commits into
base: master
Choose a base branch
from
+332 −59
Open

Verify bundled sources using CI - boost.context & uriparser #20438

Changes from 1 commit
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
0a3c2fe
add workflow & skeleton generator
mvorisek Nov 8, 2025
bcac56b
add download for boost.context
mvorisek Nov 8, 2025
38b6741
unify/generate tmp_dir
mvorisek Nov 9, 2025
20e42c1
add uriparser ci
mvorisek Nov 9, 2025
2879594
rm original/duplicate src/UriConfig.h.in
mvorisek Nov 9, 2025
8b72e08
fix outdated config/comment
mvorisek Nov 10, 2025
323012a
patch config to minimize changes between the official config
mvorisek Nov 10, 2025
623876d
adjust for rebase
mvorisek Nov 12, 2025
653100d
"base" param for dorny/paths-filter is not used for PR
mvorisek Nov 12, 2025
0a2d4f7
make gen executable
mvorisek Nov 12, 2025
94cdb07
do not use "escapeshellarg" function as it generates different result…
mvorisek Nov 13, 2025
dfe4c8d
always use topmost/repo's .git as "--git-dir"
mvorisek Nov 14, 2025
9d633a2
run "Detect changed files" step only for push/PR events
mvorisek Nov 14, 2025
b92b445
fix typo
mvorisek Nov 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 7 additions & 4 deletions .github/scripts/test-directory-unchanged.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,13 +1,16 @@
#!/bin/sh
set -ex

cd "$(dirname "$0")/../../$1"
# use the repo root directory as "--git-dir"
cd "$(dirname "$0")/../.."
Comment on lines +4 to +5
Copy link
Contributor Author

@mvorisek mvorisek Nov 14, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is important as the original cd "$(dirname "$0")/../../$1" did not detected any changes in case of the checked directory was containing .git.

Example: git clone https://github.com/derickr/timelib.git ext/date/lib


dir="$1"

# notify git about untracked (except ignored) files
git add -N .
git add -N "$dir"

# display overview of changed files
git status .
git status "$dir"

# display diff of working directory vs HEAD commit and set exit code
git diff -a --exit-code HEAD .
git diff -a --exit-code HEAD "$dir"