diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2021-01-05 11:16:12 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-06 07:30:46 +0100 |
| commit | 2335faa9e88bad1907a1cb00d9d496799509a88b (patch) | |
| tree | fbe78135a4b07c3d4ad7bd2ea0020f0eda673494 /.github | |
| parent | 3fd47e9301461a1db74895ae28cbb299a38d47ee (diff) | |
| download | ghdl-2335faa9e88bad1907a1cb00d9d496799509a88b.tar.gz ghdl-2335faa9e88bad1907a1cb00d9d496799509a88b.tar.bz2 ghdl-2335faa9e88bad1907a1cb00d9d496799509a88b.zip | |
ci: add graphiz to temporary ghdl/doc image
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 3ca172187..3e6ef9104 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -17,7 +17,7 @@ jobs: docker build -t ghdl/doc - <<-EOF FROM ghdl/vunit:llvm ENV PYTHONPATH=/src/pyGHDL - RUN apt update -qq && apt install -y gnat-gps \ + RUN apt update -qq && apt install -y gnat-gps graphviz \ && ln -s /usr/bin/pip3 /usr/bin/pip EOF |