Skip to content

Bot Commands

Wang, Xiao edited this page Oct 19, 2023 · 28 revisions

CI bot commands:

Usage: !build [options]
  Options:
    --codegen
      Run codegen diff jobs
      Default: false

Example:

!build --codegen
Clone this wiki locally