c-semantics icon indicating copy to clipboard operation
c-semantics copied to clipboard

Published 20 hours ago • verified publisher icon kframework

K dockerhub images

Open ehildenb opened this issue 5 years ago • 0 comments

This avoids a lot of the logic in the Jenkinsfile about building a K image with dependencies installed, instead just uses the published K dockerhub images.

ehildenb avatar May 13 '20 10:05 ehildenb