Skip to content

[docs] adjust Terminal syntax highlight + other Terminal tweaks #5898

[docs] adjust Terminal syntax highlight + other Terminal tweaks

[docs] adjust Terminal syntax highlight + other Terminal tweaks #5898

Triggered via pull request March 22, 2024 11:45
Status Skipped
Total duration 3s
Artifacts

docs-pr-deploy.yml

on: pull_request
docs-pr-deploy
0s
docs-pr-deploy
Fit to window
Zoom out
Zoom in