diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/Test.yml | 4 |
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 |