two fixes for bash completion #1825

Re-run triggered November 4, 2023 17:12

cgwalters

#4681

hongxu-jia:main

Status Success

Total duration 1h 2m 24s

Artifacts 3

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: pull_request

Produced during runtime