On Do, 11 Mai 2023, Bram Moolenaar wrote:

> 
> Patch 9.0.1541 (after 9.0.1536)
> Problem:    CI: sound dummy is disabled.
> Solution:   Make sound dummy work again. (closes #12380)
> Files:      .github/workflows/ci.yml

I wondered if this is the best approach to silently skip loading the 
sound dummy modules and then ci possibly no longer testing the sound 
features, so we risk regressions. But I guess this is fine.

Best,
Christian
-- 
In nichts zeigt sich der Mangel an mathematischer Bildung mehr, als in
einer übertrieben genauen Rechnung.
                -- Carl Friedrich Gauß

-- 
-- 
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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/vim_dev/ZF0KEVmaMjfy7VvE%40256bit.org.

Raspunde prin e-mail lui