1
0
mirror of https://github.com/bitcoin/bips.git synced 2025-12-22 14:45:19 +00:00

CI: commit README.mediawiki delta from script to git (#2063)

Use a hardcoded delta rather than requiring the delta to never change,
so that it can be changed deliberately when desired without breaking CI.
Also avoids the need to checkout the previous commit, so no longer
changes the repository state.
This commit is contained in:
Anthony Towns 2025-12-20 13:18:41 +10:00 committed by GitHub
parent 46858e5b1f
commit 04b448b599
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 28 additions and 10 deletions

View File

@ -0,0 +1,24 @@
< |-
< | 40
< | API/RPC
< | Stratum wire protocol
< | Marek Palatinus
< | Standard
< | BIP number allocated
< |-
< | 41
< | API/RPC
< | Stratum mining protocol
< | Marek Palatinus
< | Standard
< | BIP number allocated
< |-
< | 63
< | Applications
< | Stealth Addresses
< | Peter Todd
< | Standard
< | BIP number allocated
< | Leon Olsson Curr, Pearlwort Sneed, Andrew Poelstra
> | Leon Olsson Curr and Pearlwort Sneed, Andrew Poelstra
< |}

View File

@ -2,15 +2,9 @@
scripts/buildtable.pl >/tmp/table.mediawiki 2> /dev/null
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/after.diff || true
if git checkout HEAD^ && scripts/buildtable.pl >/tmp/table.mediawiki 2>/dev/null; then
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/before.diff || true
newdiff=$(diff -s /tmp/before.diff /tmp/after.diff -u | grep '^+')
if [ -n "$newdiff" ]; then
newdiff=$(diff -s scripts/diffcheck.expected /tmp/after.diff -u | grep '^[-+]')
if [ -n "$newdiff" ]; then
echo "$newdiff"
exit 1
fi
echo "README table matches expected table from BIP files"
else
echo 'Cannot build previous commit table for comparison'
exit 1
fi
echo "README table matches expected table from BIP files"