Sign inSign up

formalmethods/carma-stack-build

By formalmethods

•Updated over 8 years ago

A base image for building CaRMa server on CircleCI

Image
0

10K+

formalmethods/carma-stack-build repository overview

⁠carma-stack-build

An image for building Dockerized Haskell apps, intended to be used with Haskell Stack on CircleCI. It's based on fpco/stack-build, but also contains Docker. Refer to .circleci/config.yml⁠ for usage example.

Tag summary

Content type

Image

Digest

Size

1.3 GB

Last updated

over 8 years ago

docker pull formalmethods/carma-stack-build