Merge branch 'master' into devel_rubygems

This commit is contained in:
Noémi Ványi 2020-04-12 19:17:21 +02:00 committed by GitHub
commit f172aad5d2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -32,8 +32,10 @@ jobs:
env: PY=2
- python: "3.5"
- python: "3.6"
- python: "3.7"
- python: "3.8"
- stage: docker
python: "3.6"
python: "3.8"
git:
depth: false
services: