diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml index ce85af895d..8ded61e44b 100644 --- a/.github/workflows/ebnf.yml +++ b/.github/workflows/ebnf.yml @@ -42,6 +42,7 @@ jobs: "-Dantlr2ebnf.margin=40" - run: | convert --version + convert --help | grep Delegates pdfcrop --version set -x for p in Eo Phi; do