chiark / gitweb /
Merge branch 'ci-image' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 17 Mar 2016 14:14:45 +0000 (14:14 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 17 Mar 2016 14:14:45 +0000 (14:14 +0000)
commita6d408182261fcf1ca55136324baceefe84b63a8
tree1cd77164bd59dfbe117772701b484d845d390bbb
parent23ef5b072aa944ffcdadb09c66ca882bb98a29db
parent221ec07a693e5a16659a68ee752056d1dac5dd8e
Merge branch 'ci-image' into 'master'

CI: Bump image, now has -dev and gcc

Also, use a specific tag instead of "latest" to avoid breaking old
tags/commits when updating the image.

See merge request !111