Merge branch 'ci-image' into 'master'

CI: Bump docker image Also use a specific tag instead of latest, so that pushing latest on Docker Hub won't break older branches and tags. See merge request !229
2016-03-17 12:05:17 +00:00 · 2016-03-17 12:05:17 +00:00 · 1d44a5f2e6
commit 1d44a5f2e6
parent 87d73e2d01 3b76db0227
2 changed files with 2 additions and 2 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -1,4 +1,4 @@
-image: mvdan/fdroid-ci:latest
+image: mvdan/fdroid-ci:20160316

 cache:
  paths:
--- a/F-Droid/tools/check-string-format.py
+++ b/F-Droid/tools/check-string-format.py
@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/env python3

 # Remove extra translations