[acl2-books] Jenkins build acl2-multi-arith2 is green again!

[David L. Rager]

Hi,

After 18 months of the acl2-multi-arith2 build being perpetually
broken, it is finally green again. This means acl2[p][r] successfully
builds "arithmetic-2" on ccl and sbcl. And acl2[r] builds
"arithmetic-2" on gcl.

Phew!
David

[Matt Kaufmann]

Great! Thanks, David; I really appreciate your efforts to keep leeroy
going. And I'm especially grateful that it's testing ACL2(p) and
ACL2(r), since I often don't do that very much except just before a
release, at which time it can be painful to fix issues with those.

-- Matt

> --
> --
> ACL2-books help:
> To post new messages: acl2-...@googlegroups.com
> To unsubscribe: acl2-books-...@googlegroups.com
> More options: http://groups.google.com/group/acl2-books?hl=en
>
> ---
> You received this message because you are subscribed to the Google Groups "acl2-books" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to acl2-books+...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.