From: Ruben Beltran del Rio <redacted>
Date: Wed, 11 May 2022 21:20:53 +0000 (+0200)
Subject: Update CI script
X-Git-Url: https://git.r.bdr.sh/rbdr/r.bdr.sh/commitdiff_plain/9a0c66549d4fc8b37af5c3183cf6326f0aa49681?ds=sidebyside;hp=9a0c66549d4fc8b37af5c3183cf6326f0aa49681

Update CI script
---