diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index f6cc2cff17d..cfa60fe96f9 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -73,6 +73,10 @@ jobs: working-directory: _build run: php build.php -vvv + - name: Show log file + if: ${{ always() }} + run: cat _build/logs.txt || true + doctor-rst: name: Lint (DOCtor-RST)