Status

Changes

Console Output

Polling Log

Git Build Data

Tests

Previous Build

Changes

Started by GitHub push by MathieuMorlighem

Started 7 hr 28 min ago

Took 7 min 26 sec on Debian_12-VM

CHG: there was a bug when using git difftool (error message complaining about path), this is now fixed

externalpackages/vim/addons/vimrc

mathieu.morlighem at 3:44 PM 6/9/26