Print the check count in the summary header #35

Open
kami wants to merge 3 commits from orchestra/06G4XAFH1MBPC35VSJN7V3NS14 into master
Showing only changes of commit 36bcf8a2e1 - Show all commits
+3
View File
@@ -64,6 +64,9 @@ now_us() { printf '%s' "${EPOCHREALTIME//[!0-9]/}"; }
# elapsed_ms <start-us>: whole milliseconds since <start-us>.
elapsed_ms() { printf '%s' "$(( ($(now_us) - $1) / 1000 ))"; }
# check_count: how many checks the run will execute.
check_count() { set -- $CHECKS; printf '%s' "$#"; }
# emit <format> <template> [args...]: the single output path.
# format: text or json print; none suppresses (--quiet). Explicit argument,
# never read from an enclosing variable.