Skip to content
Trigger docs site update

keywords: add TPCH_10 and update the check-keywords.sh script (#15069) #9862

Sign in to view logs

keywords: add TPCH_10 and update the check-keywords.sh script (#15069)

keywords: add TPCH_10 and update the check-keywords.sh script (#15069) #9862

Triggered via push October 16, 2023 06:11
@ti-chi-botti-chi-bot[bot]
pushed 2ef56e7
master
Status Success
Total duration 12s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

dispatch.yml

on: push
trigger
3s
trigger
Fit to window
Zoom out
Zoom in