<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 2/20/2025 8:58 AM, Nicolás Papagna Maldonado via Cuis-dev wrote:
<blockquote
cite="mid:CADGn7BNnLhGRLQOkPE4--VZ85rP26HkZ=6BT7OJDgk81tGFOZQ@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Hi folks!<br>
</div>
<div><br>
</div>
<div>I noticed that we were installing pulseaudio to run Linux
CI jobs, but it looks like it is not needed (disabling sound
keeps tests green).</div>
<div><br>
</div>
<div><a moz-do-not-send="true"
href="https://github.com/Cuis-Smalltalk/Cuis-Smalltalk-Dev/pull/304">This
PR</a> does that, and reduces Linux job times by about ~50%.</div>
<div>Besides the faster feedback loop, this is nice for repos
using the GitHub free plan where the CI minutes are limited.</div>
<div><br>
</div>
<div>Best,</div>
<div>Nico PM</div>
</div>
</blockquote>
<br>
Merged. Thanks!<br>
<br>
Cheers,<br>
<pre class="moz-signature" cols="72">--
Juan Vuletich
cuis.st
github.com/jvuletich
researchgate.net/profile/Juan-Vuletich
independent.academia.edu/JuanVuletich
patents.justia.com/inventor/juan-manuel-vuletich
linkedin.com/in/juan-vuletich-75611b3
twitter.com/JuanVuletich</pre>
</body>
</html>