diff options
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/Test.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/Test.yml b/.github/workflows/Test.yml index 18f06619d..0ede8cee3 100644 --- a/.github/workflows/Test.yml +++ b/.github/workflows/Test.yml @@ -28,7 +28,7 @@ jobs: run: | docker run --rm -i -v $(pwd):/src -w /src ghdl/debug:base <<'EOF' #!/usr/bin/env sh - ./configure && make && make install + ./configure --enable-werror && make && make install gnatdoc -P./ghdl EOF @@ -53,7 +53,7 @@ jobs: docker build -t ghdl/doc . -f- <<-EOF FROM ghdl/build:doc COPY . /opt/ghdl - RUN cd /opt/ghdl && ./configure && make && make install + RUN cd /opt/ghdl && ./configure --enable-werror && make && make install EOF - name: '📥 Download artifact: gnatdoc' |