aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authoreine <eine@users.noreply.github.com>2021-02-07 15:33:12 +0100
committereine <eine@users.noreply.github.com>2021-02-07 15:52:34 +0100
commita75c135b5bb3c817ff0d9605c5cfabbfa721c13b (patch)
tree93c6ccc3136ab4b7b5f1651dccf93f3b66e86e85 /.github
parent982f1d7ce9c8f563780a52714df98469bf58721e (diff)
downloadghdl-a75c135b5bb3c817ff0d9605c5cfabbfa721c13b.tar.gz
ghdl-a75c135b5bb3c817ff0d9605c5cfabbfa721c13b.tar.bz2
ghdl-a75c135b5bb3c817ff0d9605c5cfabbfa721c13b.zip
ci: use image 'ghdl/debug:base' as the base of 'ghdl/doc'
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/Test.yml4
1 files changed, 1 insertions, 3 deletions
diff --git a/.github/workflows/Test.yml b/.github/workflows/Test.yml
index 80da70801..7ad6b2a1d 100644
--- a/.github/workflows/Test.yml
+++ b/.github/workflows/Test.yml
@@ -26,10 +26,8 @@ jobs:
- name: Build ghdl/doc
run: |
docker build -t ghdl/doc . -f- <<-EOF
- FROM ghdl/build:buster-mcode
+ FROM ghdl/debug:base
ENV PYTHONPATH=/opt/ghdl/pyGHDL
- RUN apt update -qq && apt install -y python3-pip gnat-gps graphviz \
- && ln -s /usr/bin/pip3 /usr/bin/pip
COPY . /opt/ghdl
RUN cd /opt/ghdl && ./configure && make && make install
EOF