small cleanup to make invocations in CI (#7804)
#7493
The logs for this run have expired and are no longer available.
Loading
make invocations in CI (#7804)
#7493