Install Eldarica on Ubuntu Clang images #14976
Conversation
|
|
|
|
| rm -rf /usr/src/Yul-Isabelle | ||
|
|
||
| # Cleanup | ||
| RUN set -ex; \ | ||
| rm -rf /var/lib/apt/lists/* | ||
|
|
There was a problem hiding this comment.
This cleanup is actually both superfluous and ineffective.
Thanks to the FROM base bit below we discard everything except for a few selected dirs anyway so we don't need to worry about cleaning up anywhere outside of these dirs.
And if we weren't doing that, removing stuff in a separate RUN command would not really remove it from the image. It would still be in the original layer and just marked as removed by layer above, but still taking up space.
There was a problem hiding this comment.
Oh, right. Didn't know that. We can remove those then.
I forgot to add Eldarica to the
ubuntu-clangimages, and those run the tests with smt enable on nightly builds: https://app.circleci.com/pipelines/github/ethereum/solidity/33569/workflows/26e587dd-8b83-4b93-ba99-dc0f98d4910c/jobs/1512378. This PR fix that.