Skip to content

fix: adjust highlighters for Android tablets #1058

fix: adjust highlighters for Android tablets

fix: adjust highlighters for Android tablets #1058

Triggered via pull request October 31, 2023 14:31
Status Success
Total duration 10m 32s
Artifacts

pr-validation.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in