diff options
| author | Cliff Click <cliffc@acm.org> | 2026-10-19 14:56:14 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-10-19 14:56:14 -0700 |
| commit | 7edca9823ec8ef0aed10c88fa07ef969792aab77 (patch) | |
| tree | d95e308cac7a9c5039a59be636d881982a9b4878 /.github | |
| parent | 3617495d8efbcce23bbc9f1754c7d27d34d30a52 (diff) | |
| download | Simple-7edca9823ec8ef0aed10c88fa07ef969792aab77.tar.gz Simple-7edca9823ec8ef0aed10c88fa07ef969792aab77.zip | |
Split from ch25, SCCP and interprocedural SCCPmain
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/workflows/linearize.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/linearize.sh b/.github/workflows/linearize.sh index f793ac6d..3b13bb6b 100755 --- a/.github/workflows/linearize.sh +++ b/.github/workflows/linearize.sh @@ -25,7 +25,10 @@ fi last_committer_date='0 +0000' -git -C "$repo" ls-tree HEAD --name-only | grep '^chapter' | +# Named snapshots are extracted alongside the numbered comparison baselines. +# Publish the existing sequence until the whole replacement sequence is ready; +# alphabetical order would put interprocedural SCCP before Chapter 1. +git -C "$repo" ls-tree HEAD --name-only | grep -E '^chapter[0-9][0-9][a-z]?$' | while read -r chapter; do echo "Processing $chapter" |