diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 82916f26b..1acc26c5a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -8,7 +8,7 @@ jobs: include: - name: ubuntu:production os: ubuntu-latest - config: production --auto-download --all-bindings --editline --docs --static-binary + config: production --auto-download --all-bindings --editline --docs --static cache-key: production python-bindings: true build-documentation: true @@ -19,7 +19,7 @@ jobs: - name: macos:production os: macos-11 - config: production --auto-download --all-bindings --editline --static-binary + config: production --auto-download --all-bindings --editline --static cache-key: production python-bindings: true check-examples: true |