diff --git a/bob/devtools/data/gitlab-ci/base-build.yaml b/bob/devtools/data/gitlab-ci/base-build.yaml index 0c1407678ae2a1a54e2c340deaad063052ff9971..60c0bea3c739e65c5299f98fe56e110dcf66839e 100644 --- a/bob/devtools/data/gitlab-ci/base-build.yaml +++ b/bob/devtools/data/gitlab-ci/base-build.yaml @@ -25,6 +25,7 @@ stages: - bdt ci base-build -vv nopython.txt - bdt ci base-build -vv --python=3.6 python.txt - bdt ci base-build -vv --python=3.7 python.txt + - bdt ci base-build -vv --python=3.8 python.txt - '[ "${CI_COMMIT_REF_NAME}" = "master" ] && bdt ci base-deploy -vv' - bdt ci clean -vv cache: