diff --git a/src/.docker_modules/tinycov/0.3.1/Dockerfile b/src/.docker_modules/tinycov/0.3.1/Dockerfile new file mode 100644 index 0000000000000000000000000000000000000000..588d7b244cd0e40376e344bde1f168f5883c2e17 --- /dev/null +++ b/src/.docker_modules/tinycov/0.3.1/Dockerfile @@ -0,0 +1,11 @@ +FROM python:3.9-slim +MAINTAINER Laurent Modolo + +ENV TINYCOV_VERSION=0.3.1 + +RUN apt update \ + && apt install -y procps \ + && pip install tinycov==$TINYCOV_VERSION + + +CMD ["bash"] diff --git a/src/.docker_modules/tinycov/0.3.1/docker_init.sh b/src/.docker_modules/tinycov/0.3.1/docker_init.sh new file mode 100755 index 0000000000000000000000000000000000000000..87cf4fff860154170d626c7fbaf4888cd8ae5678 --- /dev/null +++ b/src/.docker_modules/tinycov/0.3.1/docker_init.sh @@ -0,0 +1,5 @@ +#!/bin/sh +docker pull lbmc/tinycov:0.3.1 +docker build src/.docker_modules/tinycov/0.3.1 -t 'lbmc/tinycov:0.3.1' +docker push lbmc/tinycov:0.3.1 +docker buildx build --platform linux/amd64,linux/arm64 -t "lbmc/tinycov:0.3.1" --push src/.docker_modules/tinycov/0.3.1