From: Miodrag Milanović <mmicko@gmail.com>
Date: Fri, 11 Mar 2022 18:02:37 +0000 (+0100)
Subject: Merge pull request #3222 from zachjs/prune-linux-ci
X-Git-Tag: yosys-0.16~48
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=532343dcfa3af45c1f4fe6fbda483e9fdf822b33;p=yosys.git

Merge pull request #3222 from zachjs/prune-linux-ci

Prune Linux CI builds
---

532343dcfa3af45c1f4fe6fbda483e9fdf822b33