On Wed, Jan 11, 2023 at 09:58:34AM +0100, Juerg Haefliger wrote: > A couple of patches that clean up our build rules: > - Remove unused/obsolete env variables > - Clean up the 'skip check' feature and extend it to modules signature > checks Already applied via pull request. -Andrea