mirror of
https://github.com/AdaCore/vss-extra.git
synced 2026-02-12 13:53:04 -08:00
25 lines
415 B
Docker
25 lines
415 B
Docker
FROM registry.fedoraproject.org/fedora-minimal:32
|
|
ARG CODECOV_TOKEN
|
|
RUN microdnf install \
|
|
make \
|
|
rpmdevtools \
|
|
gcc-gnat \
|
|
gprbuild \
|
|
git \
|
|
openssh-server \
|
|
tar \
|
|
gzip \
|
|
bash \
|
|
curl \
|
|
ca-certificates && \
|
|
microdnf clean all
|
|
|
|
RUN mkdir -p /src/
|
|
WORKDIR /src/
|
|
|
|
COPY . /src/
|
|
|
|
RUN make all check coverage && \
|
|
curl -s https://codecov.io/bash -o /tmp/codecov.sh && \
|
|
/bin/bash /tmp/codecov.sh
|