Skip to content

chore: notify docs site after benchmark data is published#804

Merged
vbreuss merged 1 commit into
mainfrom
ci/notify-docs-site-on-benchmark-publish
Jun 21, 2026
Merged

chore: notify docs site after benchmark data is published#804
vbreuss merged 1 commit into
mainfrom
ci/notify-docs-site-on-benchmark-publish