Hi,
Op do 20 feb 2025 21:48 schreef Christian Brabandt < vim-dev-git...@256bit.org>: > shouldn't we call this script in > https://github.com/vim/vim/blob/master/.github/workflows/ci.yml like the > vimtags target? > > — > Reply to this email directly, view it on GitHub > <https://github.com/vim/vim/pull/16678#issuecomment-2672644843>, or > unsubscribe > <https://github.com/notifications/unsubscribe-auth/ACY5DGDFWTB55QV4I2RC7H32QY5RDAVCNFSM6AAAAABXQKOREWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDMNZSGY2DIOBUGM> > . > You are receiving this because you are subscribed to this thread.Message > ID: <vim/vim/pull/16678/c2672644...@github.com> > [image: chrisbra]*chrisbra* left a comment (vim/vim#16678) > <https://github.com/vim/vim/pull/16678#issuecomment-2672644843> > > shouldn't we call this script in > https://github.com/vim/vim/blob/master/.github/workflows/ci.yml like the > vimtags target? > Yes, I'm trying to get this in CI. The reason I (temporarily) removed the "default link" in ``highlight.c`` was because I was trying to fall CI in the "intended" way: that it needed to be specified. I should probably change this to a WIP for now... I'll let you know when this is done. Christ van Willegen > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/vim_dev/CA%2BOt1Owc%3D09%2BjoHQEeA%2BYOe2-8K%3Dwi-xf9jfxC2fKgYFHCqcnQ%40mail.gmail.com.
