|
From: | cuirass |
Subject: | Build mcrl2-minimal.aarch64-linux on master is broken. |
Date: | Thu, 06 May 2021 11:13:47 +0200 |
The build mcrl2-minimal.aarch64-linux for specification master is broken. You can find the detailed information about this build here: https://ci.guix.gnu.org/build/268452/details.
[Prev in Thread] | Current Thread | [Next in Thread] |