Skip to content
Automatic PR Merger

fixed highlighting in the tutorial #19026

Sign in to view logs

fixed highlighting in the tutorial

fixed highlighting in the tutorial #19026

Triggered via push September 18, 2023 08:55
@tmbotmbo
pushed 8190845
docs-dm2-rename
Status Success
Total duration 17s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

automatic-pr-update.yml

on: push
mergepal
5s
mergepal
Fit to window
Zoom out
Zoom in