commit adbb487ef14708f05757256fecf62995ff49becb
author Johnathan Van Why <jrvanwhy@google.com> Mon Jun 22 12:39:17 2020 -0700
committer Johnathan Van Why <jrvanwhy@google.com> Mon Jun 22 12:39:17 2020 -0700
tree 662dd98351f9db1b35cfc21d8b1adb476559f6d3
parent a6c5c9d30bcac95aba3ee12b5e3ec0ad74330721

Point the size diff workflow at the recently-renamed print_sizes crate.

.github/workflows/size-diff.yml

diff --git a/.github/workflows/size-diff.yml b/.github/workflows/size-diff.yml
index d35fde0..4d14308 100644
--- a/.github/workflows/size-diff.yml
+++ b/.github/workflows/size-diff.yml
@@ -40,12 +40,12 @@
           cd "${GITHUB_WORKSPACE}"
           rustup target add riscv32imc-unknown-none-elf thumbv7em-none-eabi
           make -j2 examples  # The VM this runs on has 2 logical cores.
-          cargo run --release -p print-sizes >'${{runner.temp}}/merge-sizes'
+          cargo run --release -p print_sizes >'${{runner.temp}}/merge-sizes'
           git remote set-branches "${UPSTREAM_REMOTE_NAME}" "${GITHUB_BASE_REF}"
           git fetch --depth=1 "${UPSTREAM_REMOTE_NAME}" "${GITHUB_BASE_REF}"
           git checkout "${UPSTREAM_REMOTE_NAME}/${GITHUB_BASE_REF}"
           make -j2 examples
-          cargo run --release -p print-sizes >'${{runner.temp}}/base-sizes'
+          cargo run --release -p print_sizes >'${{runner.temp}}/base-sizes'
 
       # Computes and displays the size diff. diff returns a nonzero status code
       # if the files differ, and GitHub interprets a nonzero status code as an