From b26729c92a94a51091acfceda7debd6cd41e15d0 Mon Sep 17 00:00:00 2001
From: Falko Galperin <falko1@uni-bremen.de>
Date: Tue, 7 Dec 2021 01:20:35 +0100
Subject: [PATCH] ci: switch to official dart docker image

Previously, we used the google/dart image,
which is now deprecated, so we switch to the
new one without the google namespace.
---
 .gitignore     | 3 +++
 .gitlab-ci.yml | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 413fdce5..8a63c0f5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,3 +17,6 @@ doc/api/
 *.ipr
 *.iws
 .idea/
+
+# Generated coverage
+coverage/
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8c24007c..56a14dfb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,5 +1,5 @@
-# https://hub.docker.com/r/google/dart
-image: google/dart:latest
+# https://hub.docker.com/_/dart
+image: dart:latest
 
 variables:
   PUB_VARS: "--platform vm --timeout 30s --concurrency=6 --test-randomize-ordering-seed=random --reporter=json"