diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-07-05 18:55:38 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-07-05 18:55:38 +0100 |
| commit | 4256bfb5a7728fd515d10c68df462a0e315e4db9 (patch) | |
| tree | b567f6acb653938481aa0e543132500275c5044e /.gitlab-ci.yml | |
| parent | e214eed4fcda9c2c679c69babde81bf557121aa1 (diff) | |
| download | definitions-4256bfb5a7728fd515d10c68df462a0e315e4db9.tar.gz | |
Revert "Update to GCC 7.1 for stage1 and stage2 bootstrap"
This was merged but without passing the whole CI; current CI
is broken atm because this change (we need to upgrade several
old chunks first)
This reverts commit 64813d0134a7796f9de9a98ebe2410d97680d51a.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions