Merge pull request #3721 from alyssarosenzweig/scripts/instcountci

Scripts: add update_instcountci.sh script
This commit is contained in:
Alyssa Rosenzweig 2024-06-19 06:50:00 -04:00 committed by GitHub
commit 197140498b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

14
Scripts/update_instcountci.sh Executable file
View File

@ -0,0 +1,14 @@
#! /bin/bash
set -e
# Make sure we actually build
ninja
# Run tests, ignoring the retval since there will be changes.
ninja instcountci_tests || true
# Now we can update.
ninja instcountci_update_tests
# Commit the result in bulk.
git commit -sam "InstCountCI: Update"