Skip to content

Update {diff,editing,gui_w32,gui_x11},{txt,jax} #5128

Update {diff,editing,gui_w32,gui_x11},{txt,jax}

Update {diff,editing,gui_w32,gui_x11},{txt,jax} #5128

Triggered via pull request August 6, 2025 12:15
Status Success
Total duration 16s
Artifacts

vimhelptagcheck.yml

on: pull_request
Check tag name conflict
10s
Check tag name conflict
Fit to window
Zoom out
Zoom in