formalmethods/carma-stack-build

By formalmethods

•Updated over 8 years ago

A base image for building CaRMa server on CircleCI

Image

10K+

Overview Tags

Tags for formalmethods/carma-stack-build

Sort by

TAG

latest

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:latest

Digest	OS/ARCH	Compressed size
14cbbacab5ff	linux/amd64	1.31 GB

TAG

feature_fix-websockets-snap-dep

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_fix-websockets-snap-dep

Digest	OS/ARCH	Compressed size
90540768fa4c	linux/amd64	1.31 GB

TAG

wiki-fix

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:wiki-fix

Digest	OS/ARCH	Compressed size
80eb2a92781b	linux/amd64	1.31 GB

TAG

wiki-docs

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:wiki-docs

Digest	OS/ARCH	Compressed size
c6f689096234	linux/amd64	1.31 GB

TAG

feature_snap-extras

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_snap-extras

Digest	OS/ARCH	Compressed size
69b75d019ac6	linux/amd64	1.31 GB

TAG

production

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:production

Digest	OS/ARCH	Compressed size
f3a259d17460	linux/amd64	1.31 GB

TAG

next-release-2

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:next-release-2

Digest	OS/ARCH	Compressed size
84ef322fc0c7	linux/amd64	1.31 GB

TAG

feature_2902-2743-ps-diag-tree-edit-r2

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2902-2743-ps-diag-tree-edit-r2

Digest	OS/ARCH	Compressed size
c9b5875438b4	linux/amd64	1.31 GB

TAG

release_2018-march

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:release_2018-march

Digest	OS/ARCH	Compressed size
69dd8c6b8206	linux/amd64	1.31 GB

TAG

next-release

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:next-release

Digest	OS/ARCH	Compressed size
96196e2bc72a	linux/amd64	1.31 GB

TAG

feature_2902-2743-2907-n-reordering-feature-n-2910

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2902-2743-2907-n-reordering-feature-n-2910

Digest	OS/ARCH	Compressed size
d73076e899eb	linux/amd64	1.31 GB

TAG

feature_2902-ps-diag-tree-edit--plus-2743--plus-resources-and-answers-ordering

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2902-ps-diag-tree-edit--plus-2743--plus-resources-and-answers-ordering

Digest	OS/ARCH	Compressed size
2b8266caf2b8	linux/amd64	1.31 GB

TAG

feature_2902-ps-diag-tree-edit--plus-2743

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2902-ps-diag-tree-edit--plus-2743

Digest	OS/ARCH	Compressed size
c9db00082d4f	linux/amd64	1.31 GB

TAG

feature_2910-n-2902-n-2908-n-2907

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2910-n-2902-n-2908-n-2907

Digest	OS/ARCH	Compressed size
f0febd556abe	linux/amd64	1.31 GB

TAG

feature_2907-add-sms-field-car-plate-num

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2907-add-sms-field-car-plate-num

Digest	OS/ARCH	Compressed size
96c60af139f7	linux/amd64	1.31 GB

TAG

feature_fix-2908-ie

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_fix-2908-ie

Digest	OS/ARCH	Compressed size
763b664889fc	linux/amd64	1.31 GB

TAG

feature_2910-n-2902

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2910-n-2902

Digest	OS/ARCH	Compressed size
da47c9d4b8a1	linux/amd64	1.31 GB

TAG

feature_fix-2910

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_fix-2910

Digest	OS/ARCH	Compressed size
e85e051229fd	linux/amd64	1.31 GB

TAG

feature_2902-ps-diag-tree-edit

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_2902-ps-diag-tree-edit

Digest	OS/ARCH	Compressed size
76a3aa993ca7	linux/amd64	1.31 GB

TAG

a.shamshur

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:a.shamshur

Digest	OS/ARCH	Compressed size
9ae008b44fbf	linux/amd64	1.31 GB

TAG

more-warnings

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:more-warnings

Digest	OS/ARCH	Compressed size
591917c07be7	linux/amd64	1.31 GB

TAG

fix_2905-rush-badge

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:fix_2905-rush-badge

Digest	OS/ARCH	Compressed size
7450a24cb3f8	linux/amd64	1.31 GB

TAG

feature_backend-error-on-warnings

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_backend-error-on-warnings

Digest	OS/ARCH	Compressed size
f60fe689be6c	linux/amd64	1.31 GB

TAG

feature_frontend-small-fixes

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_frontend-small-fixes

Digest	OS/ARCH	Compressed size
89d04052501a	linux/amd64	1.31 GB

TAG

feature_fix-2885-timeline-date-range-indicator

Last pushed over 8 years by formalmethods

docker pull formalmethods/carma-stack-build:feature_fix-2885-timeline-date-range-indicator

Digest	OS/ARCH	Compressed size
737829e56ff7	linux/amd64	1.31 GB